Remove code duplicate and fix the procedure for writing statistic

[alexey-utkin]

The code of
KleeRunner::processBatchWithInteractive
and
KleeRunner::processBatchWithoutInteractive

has common fragment, that leads to the error is statistic writing.