Pretty timing scripts

Add some scripts to allow easy performance tracking (at least if you have python installed), and have `make` give less spew when you use the `TIMED=1` option.