Add gradle to navigation
In gitlab!105607 (merged) the existing Maven documentation was split into two pages: Maven and Gradle. This MR adds an entry on the navigation for Gradle.
In gitlab!105607 (merged) the existing Maven documentation was split into two pages: Maven and Gradle. This MR adds an entry on the navigation for Gradle.