devices: Add Redmi 4A / 5A / Note 5A / Y1 (ulova)

Also fix the syntax while we're at it...

devices.json

@@ -310,6 +310,20 @@
          }
       ]
    },
+   {
+      "brand": "Xiaomi",
+      "codename": "ulova",
+      "name": "Redmi 4A / 5A / Note 5A / Y1",
+      "supported_versions": [
+         {
+            "maintainer_name": "me-cafebabe",
+            "maintainer_url": "https://t.me/me_cafebabe",
+            "version_code": "eleven",
+            "version_name": "Eleven",
+            "xda_thread": ""
+         }
+      ]
+   },
    {
       "brand": "Xiaomi",
       "codename": "pine",
@@ -352,3 +366,4 @@
          }
       ]
    }
+]