Merge branch 'lukas_issue382_feat_fix-version-badge' into 'develop'

use git describe with match flag

See merge request !433

CI/create_version_badge.sh

 #!/bin/bash
 
-VERSION="$(git describe master)"
+VERSION="$(git describe --match v[0-9]*.[0-9]*.[0-9]* --abbrev=0)"
 COLOR="blue"
 BADGE_NAME="version"