Add Travis CI support

Let's see whether we can get this working…