Created by: cs2be

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.