Correctly name travis-ci configuraiton file