fixed skype sound issue on Ubuntu 13.10
added xcompmgr to fix issue with chrome window displaying on wrong desktops
updated editor name, color status
ignored more stuff
removed global sbt plugins