py/makeversionhdr.py: Update to parse new release line in docs/conf.py.

The line in docs/conf.py with the release/version number was recently
changed and this patch makes the makeversionhdr.py script work again.

py/makeversionhdr.py

@@ -59,8 +59,8 @@ def get_version_info_from_git():
 def get_version_info_from_docs_conf():
     with open(os.path.join(os.path.dirname(sys.argv[0]), "..", "docs", "conf.py")) as f:
         for line in f:
-            if line.startswith("release = '"):
-                ver = line.strip()[10:].strip("'")
+            if line.startswith("version = release = '"):
+                ver = line.strip().split(" = ")[2].strip("'")
                 git_tag = "v" + ver
                 ver = ver.split(".")
                 if len(ver) == 2: