Travis integration

Let's see what it does.