IDE: Removed terminal icon from dummy file tree header.
EditorPane: Use line widget to create cursors.
EditorPane: Return if collaborativestring does not exist.
IDE: Styling changes.
IDE: Fixed mounting wrong machine.
Merge branch 'collaboration' of github.com:koding/IDE into collaboration