The product of a Lindelöf space with the space of irrationals under Martin’s axiom