Python: Bump extractor version

Author: tausbn

python/extractor/semmle/util.py

@@ -10,7 +10,7 @@
 
 #Semantic version of extractor.
 #Update this if any changes are made
-VERSION = "7.1.11"
+VERSION = "7.2.0"
 
 PY_EXTENSIONS = ".py", ".pyw"