Settings ui

This adds a settings dialog.
It also removes the appearance settings from the application menu, which makes it feel a lot cleaner in my opinion.
I had to make a couple of properties from the FinalTerm class public. It now finally also saves the changes you make unlike previously where they'd just persist for this session.
I'm open for design suggestions, I like that kind of settings dialog layout :)