Added differential sync : devices are saved when syncin, and a
differential task list is built before sending data if the other device
is already known