Add some options to the travis file.