Use https://github.com/docopt/docopt.cpp as a submodule instead of copying into our source.
Use https://github.com/docopt/docopt.cpp as a submodule instead of copying into our source.