macOS: better handle if the font recorded in the preferences is not available

[backwardsEric]

https://github.com/backwardsEric/hengband/issues/19 is an example (with Hengband's macOS front end) of the symptoms that are avoided.