Add batch file for PyPI publishing.