Use undoredo plugin from aloha

Include undoredo plugin from aloha. This depends on oerpub/Aloha-Editor/#129.