Add gnome terminal theme converter scripts