#4 Add support for counting Coq code.

[Anonymous]

Coq is a theorem prover available at http://coq.inria.fr.
Maybe it is possible to interface sloccount with coqwc so that Coq source code is also taken into account by sloccount.