Design a logo for Theia (the open source JS-based IDE framework)