add xml:lang for the editor
sync eXist sources to a sha that's on github
Merge branch 'release/server-0.7.1' into develop