[checkmk-commits] Check_MK Git: check_mk: New option --profile, for profiling check_mk itself