codebender is web-based IDE, mainly built with HTML5 and Javascript, that focuses on the development for the Arduino platform. Since it is going to be used directly from the browser (note that...