Serialize Positions in IR incrementally.

It means: as diffs wrt the last position serialized, with a compact
format. This divides almost by 2 the size of .sjsir files.
Merge pull request #533 from sjrd/serialize-pos-incrementally

Serialize Positions in IR incrementally.