An in-game voxel map editor for Minecraft