Add Docker path to devcontainer.json

Author: clin1234

.devcontainer/devcontainer.json

@@ -6,7 +6,9 @@
         "install",
         "-y",
         // For umask fix below.
-        "/usr/bin/setfacl"
+        "/usr/bin/setfacl",
+        // To run make regen-configure
+        "/usr/bin/docker"
     ],
     "updateContentCommand": {
         // Using the shell for `nproc` usage.