Use stderr for command completion.
Redesign command line interface.

The new interaces makes it easier to add sequences of commands, supports
auto-generated help messages, unifies the output, and has support for colors.
Small cosmetic touch-ups.
Fix escaping in colorized prompts.
Colorize mode prompts.