Added support for POSIX style timers using clock_gettime(3). Notably this fixes nice high resolution thread local cpu time and monotonic real time on reasonably modern Linux systems. Also added a few more pike constants about various characteristics of the cpu/real time interfaces in use. Rev: src/acconfig.h:1.155 Rev: src/builtin_functions.c:1.640 Rev: src/configure.in:1.1019 Rev: src/gc.c:1.290 Rev: src/gc.h:1.129 Rev: src/modules/system/system.c:1.182 Rev: src/pike_rusage.h:1.18 Rev: src/rusage.c:1.46 Rev: src/threads.c:1.254 Rev: src/threads.h:1.132