Removed Travis CI integration since we do not use it