Added `{-# OPTION_GHC -w #-}` for tools like ghc-mod

Added `{-# OPTION_GHC -w #-}` for tools like ghc-mod reporting hundreds of errors in the alex-generated file.
(also, my editor removes trailing whitespace: the real changes are in `optsToInject`)