New terminals and terminal options



Build Daemon 2017-10-25