[simix] Do not deadlock when joining a process which is already dead

[simix] Do not deadlock when joining a process which is already dead

This was implemented by adding a callback SIMIX_process_on_exit() but
if the process is already dead, the callback is never called. If the
process is dead, we return directly to the calling process without any
callback.