Add publish.py script which does everything needed to publish a new version.