Install the time utility in Travis builds.