Manpages of src:coq in Debian experimental

• coq-tex(1)
• coq_makefile(1)
• coqc(1)
• coqchk(1)
• coqchk.opt(1)
• coqdep(1)
• coqdoc(1)
• coqide(1)
• coqide.byte(1)
• coqide.opt(1)
• coqtop(1)
• coqtop.byte(1)
• coqtop.opt(1)
• coqwc(1)