New terminals and terminal options



Build Daemon user 2017-11-03