[checkmk-commits] [Checkmk/checkmk] 5052ea: Revert "Remove checkmk_dev_tools from global Pipfile"