adding comments + global state in mergetools.ml