Move option for high quality export to export module
Currently the high quality export can be enabled/disabled in the options dialogue. In my opinion it would be more reasonable to move this option to the export module, this way it could be included into export presets.
Reason: Some modules behave different if they are applied to downscaled/resampled images. I have noticed this effect during half-res exports of noisy images. They looked fine in the darkroom but much more noisy if exported without HQ resampling enabled. But for performance reasons, i would prefer to use this option only for final exports.