Adapt to the logfile using auto-incrementing ids to refer to source locations after mentioning them on first occurrence
Merge pull request #3 from tschneidereit/spaaace

Adapt to the logfile using auto-incrementing ids to refer to source locations after mentioning them on first occurrence