Eliminate a redundant argument internally
Add AssumeSkip, mostly for benchmarking
Error if running "makefile" directly to try and run something, since that is a mistake I keep making
Clean up the documentation for ShakeOptions
Add shakeTimings
Add a few timing annotations, more will be needed when properly benchmarking
Print timings in a more informative way
Put timings in more appropriate places
Print timing information even if there is an exception
Fix timings so if they are zero clamp to something sensible
Add a total row to --timing
Ninja: Optimise splitting into lines