Export 3D world model to file

An exporter tool has been added. You can choose any area and save generated 3D geometry to .ply or .obj files.