haytjes/tracelogger — pull request #3 by tschneidereit (2013-09-04 22:02:08+00:00)
Title: Adapt to the logfile using auto-incrementing ids to refer to source locations after mentioning them on first occurrence

Plus some slight cleanup