[checkmk-commits] Check_MK Git: check_mk: Makefile: new target setversion, changing version in batch mode