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.
Merge pull request #54 from powerist/working

Fault-tolerant live migration