added jquery ui resizable for codemirror editors
Merge branch 'resizable_codemirror'