Change how timing is done and printed
Merge branch 'masterTweak' of github.com:svenssonjoel/Obsidian into masterTweak

Conflicts:
	Examples/ReductionTutorial/Reduce.cabal
	Examples/ReductionTutorial/ReduceBench.hs