2013.05.15, Version 0.10.7 (Stable)

Changes since version 0.10.6:

* windows: kill child processes when the parent dies (Bert Belder)
Now working on v0.10.8