Without --enableTempDirectory, --proverLogFile is ignored

[alexanderjsummers]

The --proverLogFile option should cause the smt2 file(s) to end up at the specified path. However, by default it gets ignored; this seems to be a clash with the enabling/disabling temp files mechanism.

Thanks to Marco for helping debug this.