Use the pretty timing on travis

This way, we have a relatively easy way of seeing how slow files are.

We also have to install `time` on travis.

Note that make-pretty-timed doesn't fail just because the library fails
to build, so we must explicitly `make` again after that.
Document timing scripts
Update readme to mention timing scripts.