Bug fix for help menu.
Bug fix for help menu.

The help menu was not correctly displaying all command-line options.
This is because it wasn't returning the array of commands.  Simple bug.

Whiley/WhileyTheoremProver