Add -Wdouble-promotion to common warnings#2707

teksturi wants to merge 1 commit intocatchorg:develcatchorg/Catch2:develfrom

teksturi:add_warning_double_promotionteksturi/Catch2:add_warning_double_promotionCopy head branch name to clipboard