Added ThreadCpuTimer to measure the time consumedin a thread (Linux only)