Make a trivial console version of the RascalMonitor