Rename travis-ci config file...oops.