Lightweight server based syncing protocol using Cocoa and Redis+PHP