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

Fixes #1438.