Manpages of src:coq

• rocq(1)
• rocqchk(1)
• rocqide(1)