Set up synchronization for todo items

Uses JSON for serialization across Websockets. Added a library for it.