Added a function get_cpu_time that provides an interface for high resolution cpu time measurement. The clumsier internal_rusage is obsoleted by this. Also some minor fixes in get_pike_rusage. Rev: src/builtin_functions.c:1.460 Rev: src/gc.c:1.196 Rev: src/pike_rusage.h:1.11 Rev: src/rusage.c:1.25