A web interface for my Raspberry Pi universal remote controller