akr/codegen-doc

formatted document for Coq codegen plugin