(gui) Improve info messages
(lib) Fix usage of print_orcc_trace() function

New lines are always appended after message
fflush() is called in print_orcc_trace() to avoid output buffering