jupyter-repo2docker is installed as part of the new "install-tool" command. The idea is to gradually add other tools under this command