Simplified FSharpCompilerParameters, also derived from DotNetConfigurationParameters so that the profiler API can be used correctly.