exemplos de docopt