Kill preferences dialog.

Preferences dialogs are an old and bad way of configuring a game. Let’s kill them all.

Fixes #30 (closed), #26 (closed) and #17 (closed).