docs: seperate Developers and Administrators tab#2391

ObadaS wants to merge 4 commits into

developcodalab/codabench:developfrom

better_documentation_tabscodalab/codabench:better_documentation_tabsCopy head branch name to clipboard