[ Travis ] Install `time` and use it in the Makefile.