Travis: do not use --use-mirrors 

This PR should fix the recent failing Travis builds. The latter seemed to be related to our using of `pip install … --use-mirrors` in .travis.yml.

See also https://github.com/travis-ci/docs-travis-ci-com/pull/10