tplay: graph manager now has a "do_end_of_play" command that has the effect of stopping the application due to playlist exhaustion (closes #47).