Better travis setup

Our Travis overlord, I plead to test this pull request and make it work.