solved merge conflict of the documentation.js

[divine7022]

@dlebauer

• This PR adds a navbar to the documentation pages for all releases listed after "Latest Code Documentation." Previously , these versioned documentation pages did not have a navbar, making navigation inconsistent. This update ensures that users can easily switch between different documentation versions without relying on external links or manual navigation.
• Changed the name of the function in documentation.js i,e gsoc to Documentation because the file name and folder name should be same

Thank you