Measurement of the tt¯ production cross section in pp¯ collisions at s=1.96TeV using lepton + jets events with lifetime b-tagging