More fixes to the boogie trace parser.
* Properly handle negative values.
* Better handling of memory-debugging output.
* More readable graph.