[checkmk-commits] Check_MK Git: check_mk: New global setting: hostname translation (allows e. g. to drop domain name)