A raspberry pi (raspbian) HDMI state monitor that launches XBMC when TV set to HDMI