Mostly bugfixes
Synchronize local process exit codes with Charon; bugfixes