Thanks for the feedback (I'm one of the summer interns that worked on this). We've added "buy now" links that go to http://www.semiconductorstore.com/cart/pc/viewPrd.asp?idprod... .

The IDE is a webapp (!), no downloads required to get hacking. That being said, it is possible to use other tool chains, such as gcc or µVision, but we haven't focused on that in the tutorials.