Remove travis configuration

As travis will be replaced by jenkins shortly and travis has been disabled for this project, we can remove the travis configuration.