Add --with-gtk argument in configure, enabling GTK3 by default
Remove has-separator properties, dropped from GTK3