Dune_util.LogSourceLog file
Initialise this module with a disabled logger, i.e. swallowing error messages.
Print an informative message in the log
info paragraphs is a short-hand for:
info_user_message (User_message.make paragraphs) Print an executed command in the log