Outsource timing scripts to a separate repo

I use these scripts in many repositories; it's nicer to update them all
at once.