infra: move developer-tools to top-level section#251

marc0olo wants to merge 2 commits into

maindfinity/developer-docs:mainfrom

infra/developer-tools-sectiondfinity/developer-docs:infra/developer-tools-sectionCopy head branch name to clipboard