Improved plumed manual generator

This is actually a squash of many commits entirely made
by Gareth.

It adds the possibility to generate a file useful for VIM syntax highlighting.