Removing Travis CI integration for now...