Added gnome-terminal settings to .dotfiles.

Also, committed a lot of minor changes done recently.