Fix extension of .travis file