Merge pull request #407 from shingarov/openocd-012

Recognize version string "0.12" in recent OpenOCD master

openocd/flash-arty

@@ -27,6 +27,8 @@ def get_version():
         return ""
     if a.stderr.count(b"0.11"):
         return "_openocd_v0.11"
+    if a.stderr.count(b"0.12"):
+        return "_openocd_v0.11"
 
 parser = argparse.ArgumentParser()
 parser.add_argument("file", help="file to write to flash")