Updating yosys from yosys-0.39 to yosys-0.40

Check YosysHQ/yosys@yosys-0.39...yosys-0.40 for changes

setup/_tools.json

@@ -91,7 +91,7 @@
   },
   "yosys": {
     "git-url": "https://github.com/YosysHQ/yosys.git",
-    "git-commit": "yosys-0.39",
+    "git-commit": "yosys-0.40",
     "version-prefix": "yosys-",
     "auto-update": true
   },