[coq] add proofgeneral info manuals
[coq] snippets
Create tramp config