Arch: option to save a list of exported objects together with an ifc file - fixes #1371