debug: makes the printing of time information in the log file optional ( #192 )
remove [Clflags.debug] which was unused (the -debug flag has another meaning in merlin)