Disambiguate "marking build as succeeded" message

Dependencies

• [2] BG6PEOB2 Make the output size limit configurable
• [3] 5AIYUMTB Basic remote building
• [4] HUUZFPPK Fix race between the queue monitor and the builder threads
• [5] HPJKBFZ4 Handle concurrent finishing of the same build
• [6] NAYQT2GT hydra-queue-runner: Use cmdBuildDerivation
• [7] MHVIT4JY Split hydra-queue-runner.cc more
• [8] UNVMKJV5 Unify build and step status codes
• [9] 24BMQDZA Start of single-process hydra-queue-runner
• [10] FITVNQ2S Keep track of the time we spend copying to/from build machines
• [11] GKZN4UV7 Make the queue monitor more robust, and better debug output
• [12] 62MQPRXC Pass null values to libpqxx properly

Change contents

• replacement in src/hydra-queue-runner/builder.cc at line 228
  [3.7479]→[3.7479:7519](∅→∅)
  − for (auto & b : direct)
  [3.7479]

  [2.2665]
  + for (auto & b : direct) {

  + printMsg(lvlInfo, format("marking build %1% as succeeded") % b->id);
• edit in src/hydra-queue-runner/builder.cc at line 232
  [3.7682]

  [3.7682]
  + }
• edit in src/hydra-queue-runner/hydra-queue-runner.cc at line 356
  [3.17826]→[3.2042:2119](∅→∅),[3.2119]→[3.9915:9916](∅→∅)
  − printMsg(lvlInfo, format("marking build %1% as succeeded") % build->id);

  −
• edit in src/hydra-queue-runner/queue-monitor.cc at line 168
  [3.25051]

  [3.25051]
  + printMsg(lvlInfo, format("marking build %1% as succeeded (cached)") % build->id);