Fixed ticks per second detection for Linux.

The ticks per second value was hard-coded in tsc_time.pyx module.  This caused the time in shrapnel-based program to notably diverge from the system time.  I implemented detection of actual ticks per second based on CPU frequency from /proc/cpuinfo.