Add xml filetype, and xmleditor plugin