[checkmk-commits] Check_MK Git: check_mk: New configuration parameter page_heading for the HTML page heads