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

Dependencies

• [2] NRSKJPP4 makeLink -> menuItem
• [3] 7ZQAHJQM Fix indentation
• [4] PZL3SZM3 Give every page a consistent title
• [5] E3X3C5LK Replace ugly link with nice small buttons
• [6] OEPUOUNB Using twitter bootstrap for more consistent looks for Hydra
• [7] 3PNG7NIB Remove trailing whitespace
• [8] JZVRK5QJ Group some menu items together under a "Status" menu
• [9] XKXMU5PV Ellipsize long jobset/job names to prevent bootstrap navbar breakage
• [*] QL55ECJ6 - adapted ui for hydra, more in line with nixos.org website

Change contents

• replacement in src/root/topbar.tt at line 37
  [3.11168]→[3.590:656](∅→∅)
  − [% WRAPPER makeSubMenu title=("Project: " _ project.name) %]
  [3.11168]

  [3.11260]
  + [% WRAPPER makeSubMenu title="Project" %]

  + <li class="nav-header">[% HTML.escape(project.name) %]</li>

  + <li class="divider"></li>
• replacement in src/root/topbar.tt at line 55
  [3.12283]→[3.170:248](∅→∅)
  − [% WRAPPER makeSubMenu title=("Jobset: " _ ellipsize(jobset.name, 30)) %]
  [3.12283]

  [2.125]
  + [% WRAPPER makeSubMenu title="Jobset" %]

  + <li class="nav-header">[% HTML.escape(jobset.name) %]</li>

  + <li class="divider"></li>
• replacement in src/root/topbar.tt at line 105
  [3.13499]→[3.249:321](∅→∅)
  − [% WRAPPER makeSubMenu title=("Job: " _ ellipsize(job.name, 30)) %]
  [3.13499]

  [2.260]
  + [% WRAPPER makeSubMenu title="Job" %]

  + <li class="nav-header">[% HTML.escape(job.name) %]</li>

  + <li class="divider"></li>
• replacement in src/root/topbar.tt at line 126
  [3.1906]→[3.1692:1751](∅→∅),[3.1692]→[3.1692:1751](∅→∅)
  − [% WRAPPER makeSubMenu title=("Build: " _ build.id) %]
  [3.1906]

  [2.368]
  + [% WRAPPER makeSubMenu title="Build" %]

  + <li class="nav-header">#[% build.id %]</li>

  + <li class="divider"></li>