Upgrade codemirror, fix problem with scrollbar, highlight trailing whitespaces