Opt: Rewritten formatting of help

Opt: Rewritten formatting of help

Previous implementation of opt_help() had several drawbacks:
First, it formatted each section separately, so the columns
did not aligh. Second, it did produced incorrect output for
options which possess only the short form.

I hope that the new implementation is cleaner and easier to extend.