John Doerr didn't invent OKRs. Andy Grove did. But Doerr brought them to Google — and then wrote the book that taught the rest of the world why they work. Here's what stuck with me.