Add a new option '--manual'

This changed the behavior of `--help`. From now on, `--help` will always display a simple help message, instead of the detailed man page.