Small grammar fixes + mention of opt's .bc output

Hi Mikael,

Really nice initiative. Here are a couple of small fixes that sprang up while I was going through the document. I plan to give it a more thorough read at some point.