Adding a Travis file that hopefully passes