Eternity 2 Solver v1.7.2

Fixing the Job Puller Script (subprocess polling and termination).
In a Docker container, that fixes the interaction with the child process (solver core app), avoiding to create a zombie process.