Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
No need to use `\verb` here; you can just do `\textt{COQPATH}`.