Next attempt to unbuffer the echo cmds in makeCourseCSVs.sh: redirect echo to /dev/tty to fool echo into using line buffering, even though it's not called from a terminal.