[checkmk-commits] Moved server_time from shipped.py to dedicated module