travis: remove "time" utility, travis has a new feature for this