Correctly handle composite commands in usage and error messages.

Before, the code would display

$ bin/why3 config show -B
why3: unrecognized option '-B'
Try 'why3 --help' for more information.

Now it correctly displays the whole command, e.g., why3 config show here.

The same issue would happen with usage messages.