Add an index to speed up the /project/<name> pages

Dependencies

• [2] P5VJCT6U fix wrong comment
• [3] S6OISBQ3 * Mark the "current" builds in a jobset, i.e. those corresponding to
• [4] SLWFKMU5 extra indexes
• [5] SJN2QPWH * Big speed-up of the job status page and the channel generation (such
• [6] RAKTHYAI * In the job status and error pages, show when the status of a job
• [7] RH37XKJ2
• [8] MI4IMCD3
• [9] 6QRHXIM3 * Speed up the jobset index page. Especially the query to get the
• [10] ID277UG3
• [11] T2232OBS * Add some DB indices to make the /releases page much faster.
• [12] Z4KRJX4Q * In the last succeeded / job status queries, use the Builds.isCurrent
• [*] N22GPKYT * Put info about logs / build products in the DB.

Change contents

• edit in src/sql/hydra.sql at line 520
  [3.56]→[3.2984:3104](∅→∅),[3.258]→[3.2984:3104](∅→∅),[3.1262]→[3.2984:3104](∅→∅),[3.2384]→[3.2984:3104](∅→∅),[3.2984]→[3.2984:3104](∅→∅)
  − create index IndexBuildResultInfo on BuildResultInfo(id); -- primary key index, not created automatically by PostgreSQL
• edit in src/sql/hydra.sql at line 527
  [3.2638]

  [2.0]
  + create index IndexBuildsOnJobsetIsCurrent on Builds(project, jobset, isCurrent);