20150508 world.us: Al-Qaida leader involved in Charlie Hebdo attack killed