Revisit polling in Web IDE Terminal
(Identified here https://gitlab.com/gitlab-org/gitlab-ee/merge_requests/8685#note_122401550)
Description
What can we do to utilize our current polling utilities (i.e. poll.js, simple_poll.js) here? Is there a case for abstracting this?