オンラインIDEが停止したのは計画済みのメンテナンスだったわけですね。
http://developer.mbed.org/blog/entry/Scheduled-Maintenance-25th-April/
mbed初心者なので、頻繁にIDEが停止するような印象を持ってしまいましたが間違いでした。
というかこのスレ過疎りすぎ。