Determine if `-cleanup` should be passed as a flag to TLC or not when using `tlc pure`.

[danwt]

Raised on 7abdf5f

In contrast to apalache raw, tlc raw does not offer any cleanup options as it is not clear how to deal with the various files and directories that TLC writes to the filesystem. The cleanup functionality is offered in tlc pure because in that case a temporary directory is used. The -cleanup arg could be parsed in this case, but it's not clear what the effect would be. Elaborating: it's not clear if the -cleanup flag might delete some desired output files or not.

[danwt]

Closing as for now this point seems inconsequential