Fix de determinacion de fatherizable mutants

Solo debiera considerarse como no-fatherizable a alguien que da SAT
buscando feedback en una linea que o bien tiene mutGenLimit 0, o bien tiene
mutGenLimit 1 y no es una de las que se mutaron.

Ademas, se agrega la generacion de un archivo en la raiz con el filename
de la solucion.
Fix de uso de feedback y computo de podas hechas

El feedback no andaba bien para los casos donde el vector se reducia.
Tampoco se estaban sumando mutantes podados en los casos en los que se
salteaban TODOS los hermanos restantes.
Tambien se informan la cantidad de mutantes que no se convierten en
padres porque no llegarian a solucion, aunque todos los mutantes que
serian descendientes de esos no estan incluidos en los mutantes podados
dado que es muy dificil y costoso computarlo.

Ademas, ahora se sigue intentando mutar archivos que no compilan
mientras se pueda.