[checkmk-commits] Check_MK Git: check_mk: Renamed a couple of plugins and removed the file extensions