[WIP] Enable Travis tests

Let's see how they fail, so that we can fix them.