
Fix bug in tools/generate_source_docs.sh

Due to subfolder `pagoda/tools` in the path of MKDOCS_ROOT, it was the wrong `tools` string that was removed in the script.
Due to subfolder `pagoda/tools` in the path of MKDOCS_ROOT, it was the wrong `tools` string that was removed in the script.