web/header2.html: update the changes menu item to point to gitweb.