Merge branch 'hotfix-2.3.13' into develop
Version check tool added

- check the latest tag on github and compare it to the local version
- from here on all hotfix, minor, major releases should be tagged apropriately.
Merge branch 'hotfix-2.3.14'