Travis CI: use virtualenv after all to avoid sudo