Add a script to publish a release easier, without forgetting to push the git tag