Renamed travis configuration file

It's a hidden file, duh!