Scripts to save and restore Gnome Terminal sessions with tabs