Import IFC4 file format

Hello,

It would be helpful if D5 could also read IFC4 files.

bye
Andreas