Add back the buttons on the navigation bar that have been hidden in the hamburger menu in GitLab 14. Modified from https://greasyfork.runtimutd.eu.org/en/scripts/428343-gitlab-navigation-buttons
Ekde 2021/07/21. Vidu La ĝisdata versio.
