Added info option in patching script

This allows one to create information on the differences in
the various patching procedures by executing:

plumed patch -i

This information is also put into the online manual

(cherry picked from commit a273bb84)