Remove the preferences dialog

We only have two user-visible settings. They can more comfortably live
in the app menu.