Have travis cat the timing files

Because more information is generally better, and it doesn't cost much.