Added Pike.get_runtime_info(). Rev: lib/modules/Pike.pmod/module.pmod:1.13 Rev: src/builtin.cmod:1.184