Add docs for build_github_devtools