The diff_man_help script now makes sure that every long option listed in
the --help is also listed in the manual. This avoid having to deal with
inconsistencies in how they are documented, but still makes sure that
new option are added to the manual page as well.