Remove docs/ since we do not need it anymore and it's unmaintained#2097

ObadaS wants to merge 1 commit intodevelopcodalab/codabench:developfrom

docsCleanupcodalab/codabench:docsCleanupCopy head branch name to clipboard