A real-time web interface for the Raspberry Pi