Optional Redis support

It might be cool to support Redis so that multiple servers instances can run at the same time. This includes saving all current maps into Redis (refactor this so that the storage might be Redis or local but can be used in the same way). Also, since the extension might be connected to a different server, we must use Redis pub/sub so that the correct server will notify the client