Cloud9 setup

Some minor modifications so Cloud9 can be used as an IDE.