prevent dirty git tags

René Fritzerequested to merge
dirty_tag into master

This also sets the full git commit hash as the tag instead of the shortened one used before.

Merge request reports