Travis: do not use --use-mirrors  (rebased onto develop)



This is the same as gh-2061 but rebased onto develop.

----

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