Add offline mirror for pip 

We could use devpi to create a local mirror and pull all packages required for the tutorials.

https://devpi.net/docs/devpi/devpi/latest/+d/quickstart-pypimirror.html

```
# $HOME/.pip/pip.conf
[global]
index-url = http://localhost:3141/root/pypi/+simple/
```