Till now, the release stage made a release on gitlab on tag push.
This change will also make the release on PyPI by adding a manual job to
the release stage.