Adding the script to change gnome-terminal theme