New preferences setting for font size of log window

User can choose the font size
Value is clamped to 8 - 100
fixes issue #15