Remove unused travis config

We no longer use Travis CI now that we have branch builds on jenkins.