Al-Qaeda’s terrorist tool kit now includes ISI training manuals