Remove unused travis config file

Now that we have builds set up with Jenkins, we don't need to use
travis-ci. Nor was it set up for this repository anyway.