Add gnome-terminal preferences and an install script