Measurement of the Bs 0→J/ψη lifetime