Get rid of SourceMint + (kind of) Windows support

Hurrah, install Cloud9 without the need for Sourcemint. Additionally I also fixed running Cloud9 on Windows. It still has issues but it starts and you can edit files. It's a start :-).

Also requires ajaxorg/jsDAV#31