Remove TravisCI build

If we had CI while developing, we would have much more easily known
which commit introduced the bug because presumably we'd have already
been running tests after each commit!