Created by: mario-bucev
This PR is essentially for https://github.com/epfl-lara/stainless/issues/1403
onCompilerProgress to a more generic emit, allowing to print any (1-line) progress messagegetLineContent to return a String instead of printing