Add a script that build a PyPI mirror and pushes it to the dune-common package registry

Such a mirror can be used for running CI in isolated environments. The script only needs to be run once by a core developer whenever Python dependencies of Dune modules change or new Python versions are released.

Currently, this wants to push the resulting packages into dune-common's package registry, but I am open to changing this to any repository you consider best.