Improve handling of long-running child processes

* kill child processes when the main window is destroyed
* add a known issue about misbehaving children affecting the GUI