Tweaks to column indent command
[coq] Update proofgeneral faces
[coq] add Example snippet