An editor for mcMMO files