Fixing cvc4 collect stats to properly handle statistics containing commas.
Adding piping to the runner.py
Enabling 0 arguments for add-job.py.