Simplify the Travis file.