Travis CI: do not rely on pip