Cache for pip downloads

Each time the requirements changes, the new build takes a lot of time.
One reason is the repeated download of the same pip packages, because the docker
layer for `pip install -r develop.txt` is recreated and does not remember that files have already been downloaded before.

We could try this:
https://pythonspeed.com/articles/docker-cache-pip-downloads/