PaddlePaddle.org requires the nav tree to be generated in order to parse the site map.  Since we removed theme in https://github.com/PaddlePaddle/Paddle/pull/8752, this also removed the site navigation menu.  This changelist adds back the site navigation menu. (#8760)