docs: rename dev to devel (#18)

Signed-off-by: Francesco Canovai <francesco.canovai@enterprisedb.com>

Author: fcanovai

website/versions_config.json

@@ -1,8 +1,9 @@
 {
   "current": {
-    "label": "Dev",
+    "label": "Devel",
     "badge": true,
-    "banner": "unreleased"
+    "banner": "unreleased",
+    "path": "devel"
   },
   "1.27": {
     "badge": true,