Fixes to the font setting business

* Retain the interface font in the prefs class
* Use a single defaults key for the font (archive/unarchive it) - this may be undesired, since you now can't set the font using `defaults write`, but since there's a nice font picker who needs that?
* Deal with when no font has previously been set in the defaults (still needs some work in the interface controller class)