minor design tweaks
update dependencies
scala fix
remove deprecation waring "asJson" -> "parseJson"
update to isabelle2014 -- wip
update to codemirror 4.5
FIX: move mime types from code to config
codemirror 4.6
remove codemirror from shim config
scala-js 0.5.5
integrate scala-js and fix all scala 2.11 issues
fix haskell plugin
fix scala plugin
fix clide-core test cases
remove unused scala pickling
minor fix to ide coffe
remove readLine warning