Tidy up GitHub Actions config which builds distributions for PyPI.