Andreas/issue 987 many compile options not available new

Use this pull request. Merge should be a lot easier...
Added compile options to settings dialog now.
I think the "Not yet guaranteed" is not so good here. If not guaranteed, we shouldn't add the option ;)