Remove project/jobset/job/build id from the navbar

They take up too much space, and they're visible in the page title anyway. But include them as a nav-header in the submenus.

Created by  Eelco Dolstra  on April 26, 2013
FAUCW4NHW33VMQIEIZQFUKOEKQDR33HX3ETI2PF7X4LCV2CFV53QC
Change contents