Was Abu Faraj al-Libbi the “high value detainee” that pointed the US to OBL’s compound in Pakistan?