Add timing scripts for ammending a commit

I'm going to merge this immediately, since it only touches the `etc/timing` directory.

I use this script to get timings for commits I've already made.