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.
Alternative implementation of readPosition().