convert plumed input file to colored html using vim syntax

Note: This command line tool is implemented as a shell script. Its help message is pasted below:

Usage:
  plumed vim2html [options] < input > output
  plumed vim2html [options] input > output
  plumed vim2html [options] input output
(one of the three)

Options can be:
--annotate-syntax Reports annotated syntax on output.
                  Also reports non-annotated regions on stderr
--pdf             To produce a pdf file with syntax highlighting.
--crop            Crop the pdf file to the only written part. Usefull to insert the pdf in a LaTex file as image.
--fs              Specify the fontsize of the pdf output.
--colors          Specify the color palette. Allowed values are: default/ac