Replace terminal terminology to channel
We're moving from using terminology related to terminal when we refer to Websockets connections. It's more generalistic a concept like channel, now that we're going to proxy more types of WebSockets requests to the runner.
Edited by Francisco Javier López