distil.py: New option `--delimiter` to control the delimiter used in the CSV output file.
distil.py: New option `--delimiter` to control the delimiter used in the CSV output file.

Also, consistently use Python's `csv` module for generating output.
uzh/vm-mad,uzh/vm-mad,uzh/vm-mad