Daniel Hoffman: How a 'quietly ferocious' female CIA officer led a successful evacuation from Libya