Add a Travis configuration file, so we can test with every push