Docopt integration. More verbose options.