Fix typo in the name of the travis-ci config file