I can't find where and how to download in install the IDE. In Cogsworth City, that's the fist things to do, but there are no clear instructions to find and install what I need. Any help?