move csv export to its own file
starting to implement a headless mode for prover evaluation leading to direct cdv export
open dialog immediately
replace \n by nothing (name of sequents, like WD)