options to be passed to hdevtools can be packed  in a ``.ghc-options``
file.