use https not ssh to clone ctree-docs