A terminal interface for playcommander