Application: Add settings

[vbmacher]

Settings should be saved independently of computers, best under user profile. The settings should contain:

• font preferences (code visual theme)
• debugger: address format, which columns to show