A tool for manipulating world files for Eden World Builder