Better CSV names; redirect stderr and stdout differently
Merge branch 'master' of ssh://github.com/nchong/barrier-reasoning-tests