summary.py: add support for CSV output format

with ';' separator