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.