new icon: idris (original) (#2726)

* feat: new icon: idris (original)

* Replace old SVG format with updated SVG

* Update devicon.json

* Apply suggestion from @Snailedlt

---------

Co-authored-by: Yash <yashsaini18166@gmail.com>
Co-authored-by: Jørgen Kalsnes Hagen <43886029+Snailedlt@users.noreply.github.com>

Author: 3 people

devicon.json

@@ -6256,6 +6256,29 @@
         },
         "color": "#00c6e2",
         "aliases": []
+    },
+	{
+        "name": "idris",
+        "altnames": ["idris2"],
+        "tags": [
+			"language", 
+			"functional"
+		],
+        "versions": {
+            "svg": [
+				"original"
+			],
+            "font": [
+				"original"
+			]
+        },
+        "color": "#8a0819",
+        "aliases": [
+            {
+                "base": "original",
+                "alias": "plain"
+            }
+        ]
     },
     {
         "name": "icinga",