play: New option: --end-of-playlist.