I've used WP Editor in the past http://wordpress.org/plugins/wp-editor/ and found it quite useful if not buggy, It seems to break every WordPress update and it uses codemirror.