Move language pages to the new docs
Updated Language Coq (markdown)
Add language id section on each language page
Deprecate all forms of testing methods outside of coq_codewars
Add link to new coq_codewars framework and remove outdated kata example
Expand "Language Coq" reference page with tutorial on how to author/solve Coq Kata on Codewars
Created Language Coq (markdown)