Move docopt to python-docopt