Ignore 'ghc-options' when parsing 'ghc --info' output.

Fixes #1438.
Rearrange the code a bit.