wrap MathML <annotation> in <semantics>
Merge branch 'dev' of github.com:wysiwhat/Aloha-Editor into dev