Use GtkGrid instead of deprecated GtkTable
requested to merge michaelweghorn/accerciser:michaelweghorn/port_from_deprecated_gtktable into master
GtkTable was deprecated in GTK 3.4 [1]. Replace uses of GtkTable in the interface view with GtkGrid.