grc: For "No GUI" option, you can now choose which terminal type you lik...

...e