Output files and flags of xsts-cli

[AdamZsofi]

The number of output file types and files is growing and the current --cex-file flag will not scale to that. I had similar problems when working on trace generation (and other tools) and have some ideas on how to change the flags and directories of output files here.

(details, concrete changes and PR later)