gitweb: Improve git_print_page_path