Toolchain for MIT's Micro-Controller class