Rename the travis file
(Damn you whitespaces!)