ci: automatically upload packages to PyPI
This splits the upload step into a separate job, and also allows uploading to PyPI. To be on the safe side, the job remains manual.
This splits the upload step into a separate job, and also allows uploading to PyPI. To be on the safe side, the job remains manual.