GTK 3 cleanup: use GtkMessageDialog for message_box(). This is a lot easier than faffing about setting up a dialog box ourself, and also avoids direct access to GtkDialog's action area (deprecated in GTK 3.16).