Update help and man

Mart Lubbersrequested to merge
update-help-and-man into master
  • Updates the builtin help
  • Updates the manpage
  • Removes some deprecated options (-p, -nowarn, -varnotused, -funcnotused)
Edited by Mart Lubbers

Merge request reports