Implement proper font handling

Adds on the fly font size changes
Adds interface for loading different fonts (e.g. Mono font in chat console)
Adds support for different font sizes

This is not supposed to result in absolutely identical menu as it's removing the current automatic gui scaling and replaces it by evaluation of parameter screen_dpi.
That parameter as well as font size setting are supposed to be added to GUI settings subtab to be implemented soon.

Android does provide valid dpi information on it's own so we don't need the setting there. Maybe some time in future we will have that information on Desktop to then it's not required any longer.