Fixed process_kill
Merge branch 'master' of github.com:sebastien/cuisine
Clean merge
Setting proper revision number
Manual merge of pull request https://github.com/sebastien/cuisine/pull/70
Updated documentation and test