Add the Coq language to the list of lexers

[solson]

Coq is an interactive theorem proving language. It uses the same extension .v as Verilog. Is this a problem?

[solson]

BTW, the website I linked to seems to be down at the moment. See also the wikipedia page for information.

[Raynes]

The fact that it uses .v is a problem, because the API allows determination of lexer based on file extension. But I'm pretty sure nobody cares about verilog, so if you want to just remove it from the list that should be fine.

[solson]

Alright, done.