introduce ConsolePrinter actor for compilejob printings...
support for compilation without upfront coq interaction