killing dlvhex with SIGTERM or with SIGINT (CTRL+C) now also gives benchmark output
the set of benchmarks snapshotted at first model can now be extended in ProgramCtx

(if plugins need to do such a thing)
displaying if we have been killed as error message