Small grammar fixes + mention of opt's .bc output
Merge pull request #1 from eliben/fixes1

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