GUI で CSV を出力するオプションをつける

GUI は、現在は標準入出力経由で報告形式を作っているため中間ファイルであるCSVはファイルとしては作られない。
一方で CSV を欲しがる人たちもいる。
指定したら CSV も得られる形が良いだろう。