[checkmk-commits] Check_MK Git: check_mk: WATO: Added wato_hidden_users config option to hide the given users from WATO GUI