Fix pcounter.scm
Allow to run GC after having called step (which increases the precision with PCESK).
Improve the way thread ids are displayed
Support strong updates when evaluating join