Coq timing

This gives us time-annotated outputs a la http://ssr.msr-inria.inria.fr/~jenkins/annotated/.  This closes #204.

Once travis finishes running on this, I plan to merge it, as it doesn't touch the core library.