* writing out file via stringstream * sh-scripts

Добавил открытие файла out.txt в первый раз в режиме out, чтобы стереть
содержимое. Затем идет закрытие выходного файла после каждой итерации с
переоткрытием его через режим app. Запись в этот файл сделал через
stringstream, так безопаснее в случае больших объемов данных.
- добавил вывод размера satisfying_assignments для отслеживания ситуации
с нахождением SAT
- изменил имя программы на sat_recompute в скрипта�
- убрал комманду cp из run.sh, т.к. то что написано в этом скрипте
запускается на каждом MPI-процессе, а нужно выполнить только один раз.
Добавил вызов этой команды для процесса с номером 0 в исходник
sat_recompute_cpp