Move header pragmas and options to cabal