New terminals and terminal options



Build Daemon 2017-11-09