Bugfix: Child process doesn't terminate when its parent process ends
Doc: Licence and readme
Merge branch 'master' into devel