[checkmk-commits] Check_MK Git: check_mk: FIX check_traceroute: Fix option Use DNS, worked vice versa