Fixed a few problems under 0.8.1.3

Router still doesn’t work there but users are better than under 0.6…
next I’ll try 0.7…
laika hangs... why?
Fixed Condorcet and SODA, with (slow, Laika) tests