Editor written in python for editing xml files