Update the docs to reflect the renaming

Dependencies

• [2] EKNK5AHQ doc: Augment the "Installation" section with material by Visser & Dolstra.
• [3] 3463ZP55 doc: Mention the 3 processes that make up Hydra.
• [4] KBW3FDZ2 Merge remote branch 'remotes/origin/master'

Change contents

• replacement in doc/manual/installation.xml at line 104
  [2.3048]→[2.3048:3255](∅→∅)
  − hydra_build.pl hydra_eval_jobs hydra_server.pl

  − hydra_control.sh hydra_evaluator.pl hydra_update_gc_roots.pl

  − hydra_create.pl hydra_queue_runner.pl </screen>
  [2.3048]

  [2.3255]
  + hydra-build hydra-evaluator hydra-update-gc-roots

  + hydra-create hydra-queue-runner

  + hydra-eval-jobs hydra-server</screen>
• replacement in doc/manual/installation.xml at line 177
  [4.3164]→[4.3164:3189](∅→∅)
  − hydra_server.pl</screen>
  [4.3164]

  [4.3189]
  + hydra-server</screen>
• replacement in doc/manual/installation.xml at line 185
  [3.278]→[3.278:341](∅→∅)
  − The <command>hydra_server.pl</command> command launches the
  [3.278]

  [3.341]
  + The <command>hydra-server</command> command launches the
• replacement in doc/manual/installation.xml at line 196
  [3.729]→[3.729:783](∅→∅)
  − <command>hydra_evaluator.pl</command> command.
  [3.729]

  [3.783]
  + <command>hydra-evaluator</command> command.
• replacement in doc/manual/installation.xml at line 203
  [3.1020]→[3.1020:1077](∅→∅)
  − <command>hydra_queue_runner.pl</command> command.
  [3.1020]

  [3.1077]
  + <command>hydra-queue-runner</command> command.