Fix Issue #24: in the help message, options are now sorted by the option name,
not by the @Option-annotated method name in the interface.
Fix some typos in javadocs (iff -> if)