Abruptly terminate if build target does not exit.
Allow index-unload and task-unload to fail
Ignores in the launch directory
Merge branch 'master' into hack/with-binary-libraries-nightly

* master:
  Ignores in the launch directory
  Allow index-unload and task-unload to fail
  Abruptly terminate if build target does not exit.
Update spoofax-libs.jar
Minor documentation update
Merge branch 'master' into hack/with-binary-libraries-nightly

* master:
  Minor documentation update