Adding support for coq project file for setting coqdoc args.
First attempt, seems ok.
Adding support for coq project file for setting coqdoc args.
second attempt, seems better (cleaner code).
Added an entry to CHANGEs about coq project fields.