A WebSocket plugin for Redstone.dart