use a compact, binary format for node ids mapping files

We need a more compact way of storing the PID <-> long id mappings (i.e.: binary file).

Should also help with D1802.

---

Migrated from T1944 (view on Phabricator)