Bugfix:  Python child process doesn't terminate its parent process ends #1
Doc: Licence and readme
Merge branch 'master' into devel