Made gethrvtime use get_cpu_time, so now it always exists. Added doc for gethrtime and gethrvtime. Rev: src/builtin_functions.c:1.461