refactor: update languages JSON (#4238)

Co-authored-by: qwerty541 <[email protected]>

Author: github-actions[bot]

src/common/languageColors.json

@@ -103,7 +103,6 @@
     "Common Lisp": "#3fb68b",
     "Common Workflow Language": "#B5314C",
     "Component Pascal": "#B0CE4E",
-    "Coq": "#d0b68c",
     "Crystal": "#000100",
     "Csound": "#1a1a1a",
     "Csound Document": "#1a1a1a",
@@ -214,6 +213,7 @@
     "Groovy Server Pages": "#4298b8",
     "HAProxy": "#106da9",
     "HCL": "#844FBA",
+    "HIP": "#4F3A4F",
     "HLSL": "#aace60",
     "HOCON": "#9ff8ee",
     "HTML": "#e34c26",
@@ -285,6 +285,7 @@
     "KiCad Layout": "#2f4aab",
     "KiCad Legacy Layout": "#2f4aab",
     "KiCad Schematic": "#2f4aab",
+    "Koka": "#215166",
     "Kotlin": "#A97BFF",
     "LFE": "#4C3023",
     "LLVM": "#185619",
@@ -308,6 +309,7 @@
     "LookML": "#652B81",
     "Lua": "#000080",
     "Luau": "#00A2FF",
+    "M3U": "#179C7D",
     "MATLAB": "#e16737",
     "MAXScript": "#00a6a6",
     "MDX": "#fcb32c",
@@ -463,6 +465,7 @@
     "Riot": "#A71E49",
     "RobotFramework": "#00c0b5",
     "Roc": "#7c38f5",
+    "Rocq Prover": "#d0b68c",
     "Roff": "#ecdebe",
     "Roff Manpage": "#ecdebe",
     "Rouge": "#cc0088",
@@ -478,6 +481,7 @@
     "SRecode Template": "#348a34",
     "STL": "#373b5e",
     "SVG": "#ff9900",
+    "Sail": "#259dd5",
     "SaltStack": "#646464",
     "Sass": "#a53b70",
     "Scala": "#c22d40",