Add a Travis file for testing on push