make the build version dependent on commit revision number (first 7 characters)

tools/update_version.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+import os
+import yaml
+
+if __name__ == "__main__":
+    if "GO_PIPELINE_LABEL" in os.environ:
+        version = os.environ["GO_PIPELINE_LABEL"]
+        appimage_yaml = yaml.safe_load(open("AppImageBuilder.yml"))
+        appimage_yaml["AppDir"]["app_info"]["version"] = version
+        with open(f"AppImageBuilder{version}.yml","wb") as yaml_file:
+            yaml.safe_dump(appimage_yaml, yaml_file, encoding = 'utf-8')
+    else:
+        print("No GO_PIPELINE_LABEL found, doing nothing")
+