chore(coq::proof): ProofDocument with delimitors

rr_frontend/radium/src/coq/command.rs

rr_frontend/radium/src/coq/inductive.rs

rr_frontend/radium/src/coq/ltac.rs

rr_frontend/radium/src/coq/mod.rs

rr_frontend/radium/src/coq/proof.rs

rr_frontend/radium/src/coq/syntax.rs

rr_frontend/radium/src/coq/typeclasses.rs

rr_frontend/radium/src/specs.rs

rr_frontend/translation/src/lib.rs