Remove unnecessary ghc options

These options are not necessary for compiling the sentinel, and were probably meant for the ghc calls that the sentinel makes during testing (these can be specified in TestSpecs.txt, or hard coded).