make use of the new progress bar monitor in interactive mode, while remaining with the logger MojoRascalMonitor in batch mode

make use of the new progress bar monitor in interactive mode, while remaining with the logger MojoRascalMonitor in batch mode #407