Live Migration for OpenCL FPGA Accelerators