Migrate PHP sessions from disk to redis using mass insertion protocol