Sets the default terminal to gnome-terminal