Add --with-gtk argument in configure, enabling GTK3 by default