Redoing travis.yml. I don't expect this to fix anything, but it's a start.