feat: [lean4web] rewrite logger to be compatible with browser

[abentkamp]

The Console class does not seem to exist for the browser. This implementation of the logger behaves exactly like before for all logger.log and logger.error calls (which are the only ones used in the project).