Adds feature for application to save font sizes

(1) adds a Preferences.txt file for the application
(2) reads/writes font sizes at user request
(3) Font size is saved when an article is closed and when the application itself is closed.