more help options for docopt