Fix issue #124

[lawcho]

• Plain agda, literate TeX, and literate rst now highlight as expected
• Each dialect now has its own language id
• The markdown grammar is no longer hard-coded

[L-TChen]

Thanks!