opts: the final bunch of options as man pages

Now all current options have their own man pages.
opts: add the rest of the options

... and fixed mancheck to ignore obsolete options