dvbsky: add option for disabling the IR receiver