Code

gitweb: Add git_page_nav for later use