Add UI for use_vte_titles option, gtk3 cherry-pick

Conflicts:
	data/prefs.glade
	src/guake
	src/prefs.py