editor: refresh codemirror when editor is manually resized
editor: refresh codemirror when editor is manually resized

See #207

uwescience/myria-web,uwescience/myria-web,uwescience/myria-web,uwescience/myria-web