Update instructions to improve release process.

This allows us to have master and develop in sync after the release.
Also get a correct and clean version report.

I've included the `-m` switch in the `git tag` command so we avoid to
open an editor and let us closer to make a script to automate this.
Merge remote-tracking branch 'ivan-github/feature/improve-git-release-workflow' into develop