Fix docs URL in repos.json

Correct the docs link from smartem-decisions to smartem-devtools

Author: vredchenko

core/repos.json

@@ -2,7 +2,7 @@
   "$schema": "http://json-schema.org/draft-07/schema#",
   "version": "1.0.0",
   "links": {
-    "docs": "https://diamondlightsource.github.io/smartem-decisions/",
+    "docs": "https://diamondlightsource.github.io/smartem-devtools/",
     "projectBoard": "https://github.com/orgs/DiamondLightSource/projects/51/views/1"
   },
   "presets": {