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

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

* master:
  Minor documentation update