Server to allow control a TV on a Raspberry Pi using libcec