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.

I'm not sure whether or not this is small and technical enough to not need another set of eyes (or two more sets of eyes).