gitweb: disambiguate heads and tags withs the same name