updated `insert_navbar.sh` & `DocsNav.yml` for custom navbar#86

shravanngoswamii merged 6 commits intoTuringLang:mainTuringLang/turinglang.github.io:mainfrom

shravanngoswamii:juliagpshravanngoswamii/turinglang.github.io:juliagpCopy head branch name to clipboard