Add 'Remark' to the 'coqThm' token
Merge branch 'pathogen-bundle' of https://github.com/trefis/coquille into pathogen-bundle