IDEUI-3 disable selection operation in css
Merge pull request #138 from codenvy/IDEUI-3

IDEUI-3 disable selection operation in css
IDEUI-43: fix project header with long project's name
IDEUI-32: fix builder total time format, merge with master.
remove not used import
Remove consolePart from debugger functionality
IDEUI-10: fix scroll in table element
Fix NPE in Bootstrap
Changed maven artifacts version
Create an interface over buffer
Add a second (incomplete) implementation of texteditor
Depend on editorwork branch version of platform-api-gwt-client
No need to everride asWidget is the class is already a Widget
Load codemirror 4.2 instead of CodeMirror 2
Add new CM token types
Add missing CodeMirror js
Add log to get unidentified tokens
Add a class to inject css
Format change
No need to override getElement on a Widget ; plus it caused a
stackoverflow