gnome-autogen.sh: Don't print terminal codes if stdin isn't a tty