A WebSocket event system for Django