A command line tool for switching GTK+ themes