Army says Hamas commander Tayser Abu Snima, who helped capture Corporal Gilad Shalit in 2006, was killed in air strike.