ai_helper.done_eval_messages(): use wesnoth.get_time_stamp()

Switch from using os.clock(), because get_time_stamp() is both faster
and has another significant digit.