Fix bugs encountered while using the distributed scheduler with crashed nodes;
Fix tedious bug: vm is migrated from nodeA to nodeB, nodeB crash and respawn => the migration was not considered as still migrating;
Fix tedious bug: migration are performed in Process, when the host fails, the process is now correctly exited;
Fix randomness issue: every call to random use a consistent seed