Libya: "Lockerbie agent" dies in Tripoli