Make disassembly font size configurable

Makes it possible to change the font size in the ini file. Useful for bigger or smaller screen resolutions.