trim unused code. closes #155
added get_timers to make a vector of timers that all start at the same origin. #156
Merge pull request #157 from romainfrancois/master

Minor improvements to Timer to make slightly more useful with multi threads

Thanks a lot, will apply.    

If it is not too much of a bother, entries in ChangeLog and/or NEWS are always welcome too.