Replace deprecated GtkVBox and GtkHBox
requested to merge michaelweghorn/accerciser:michaelweghorn/port_from_deprecated_vbox_and_hbox into master
Port from using the deprecated GtkVBox and GtkHBox to GtkBox.
(See single commits for more details.)