portable and precise CPU time measurement