Remove Travis configuration.

Now that we have a Ubuntu machine on ci.lycus.org, there's no
point in using Travis. Also, it interferes with Jenkins builds
of pull requests.