If you could get the terminal to run over websockets, to be honest, it wouldn't matter where the IDE was hosted. Heck, it could be hosted online (easy upgrades to the IDE) and take up no space on the board.
(This is why I've been trying to find a board that supports js / websockets for a long time. The web connected possibilities are endless)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
If you could get the terminal to run over websockets, to be honest, it wouldn't matter where the IDE was hosted. Heck, it could be hosted online (easy upgrades to the IDE) and take up no space on the board.
(This is why I've been trying to find a board that supports js / websockets for a long time. The web connected possibilities are endless)
Matt