Islamist prosecutor general killed in Libya