interface_view: Use GtkButtonBox instead of deprecated GtkHButtonBox
requested to merge michaelweghorn/accerciser:michaelweghorn/port_from_deprecated_gtkhbuttonbox into master
GtkHButtonBox was deprecated in GTK 3.2 [1]. Use GtkButtonBox with orientation horizontal instead, as suggested.