Timer: Use gettimeofday() instead of clock()
- clock() doesn't count in milliseconds level
- ref: http://stackoverflow.com/questions/588307/c-obtaining-milliseconds-time-on-linux-clock-doesnt-seem-to-work-properl
Add test for Timer
Merge pull request #183 from dartsim/timer

Timer: Use gettimeofday() instead of clock()