Add origin head check to release script

[Tomas Polach]

Release script should not proceed if local and origin head to not point to the same commit. (means: pull / merge is necessary before releasing)