docopt type-docopt tqdm