Added Aloha editor.
Updated sourceview plugin for editing html.