mozart/mozart2 — pull request #184 by eregon (2014-05-24 19:48:51+00:00)
Title: Make the parent VM always monitor its child VMs

* So at least the parent get detailed information about the termination.
* This suggests to care more about termination of created VMs.
* Adapt and improve the tests.

This is the one big thing which was missing for the multi-VM PR.