rewrite args parser with docopt