Tweak Travis CI configuration

We build our own virtualenv and we want Travis CI to use that instead of
its own.