IDManager: added import/export plus little cosmetic enhancements.

2018-11-21, Edouard Tisserant