Fix pretty printing of OPTIONS pragma
A pragma like {-# OPTIONS_FRONTEND -ddump-all #-}
is pretty-printed as {-# OPTIONS _FRONTEND -ddump-all #-}
.
A pragma like {-# OPTIONS_FRONTEND -ddump-all #-}
is pretty-printed as {-# OPTIONS _FRONTEND -ddump-all #-}
.