[refactor] Consolidation of auxiliary functions.

[ejgallego]

We do some cleanup on auxiliary and infra functions:

• use filename output functions from common libs
• add Format based logging functions
• remove Lsp.Io use to trace, use Fleche Callbacks instead