Fault-tolerant live migration

The live migration, including RPC, is logged each time.
The back-up controller checks the logging and finish all
remaining tasks.
Property: Live migration eventually finishes consistently.