Implementado el cableador del input

A probar el algoritmo!
El cableador del input fue mejorado

Aun no genera codigo compilable, pero falta poco.
Corregido el cableador del input

Resta verificar si el variabilizador debe generar variables distintas o
repetidas para la misma referencia de mutacion.

Ademas hay que solucionar el problema del archivo original que usa para
reemplazar el codigo de cada metodo, porque es el mismo que usa el resto
de Stryker.
Una vez solucionado eso, resta debuggear TACO para que corra con el
codigo nuevo.
Avances Varios

Se movio al DarwinistController la tarea de correr TACO para procesar el
codigo secuencial. Esto evita el problema con el archivo original donde
se reemplaza el codigo.
Se variabiliza con variables distintas cada una de las aparicones de una
misma linea de mutacion.
TACO ahora logra correr el codigo secuencial.
Resta encontrar como efectivamente negar la postcondicion.
Debe construirse el algoritmo que variabiliza el codigo y corre taco, en
ese orden, hasta tanto el metodo deje de dar UNSAT o no tenga mas nada
para mutar.
Avances en DarwinistController

Se esbozó un algoritmo para variablizar y correr TACO hasta que no quede
más nada por variabilizar, donde habría que cortar.

Resta poder negar la postcondicion.
Se saca la negacion de postcondicion y se hace run

Tambien se corrigió el procesamiento del OpenJMLController para que solo
procese para secuencialidad lo que corresponde.
Ademas, se cambio la condicion del ciclo... ahora sale cuando da UNSAT,
porque con la postcondicion sin negar, significa que el codigo no
tiene fallas. Pero como hace un run, con ejecutar el codigo 1 vez sin
errores, si da SAT, no sigue buscando valuaciones para que de UNSAT.
Tampoco se si el runtime exception deberia ser true o false en el
contrato.
Correcciones en procesamiento secuencial

Se variabilizan las lineas en el secuencial que matchean con una mutada
del original, pero en conjunto, con variables distintas.

Ademas, se saco el if para matchear la estructura y asigno en su lugar
los parametros con tra los fixeados, y los campos de this con los
fixeados.

Se evalua Run, hasta que de SAT en Darwinist controller.

Falta bugfixear el procesamiento del output de RAC para clasificar los
metodos fallados por contrato.
Se considera excepcion de falla de postcondicion

Aun no sale porque hay conflictos de librerias al correr RAC.
Se arreglo el CL de jml4c. Algoritmo funcional.

Se tuvo que especificar que el classloader para compilar con RAC no
utilice un parent classloader. Además, se le hizo generar a TACO los
output tests para que parsee más de un elemento de classpath, para poder
eliminar toda referencia directa a jml4c.
El algoritmo categoriza bien los metodos fallados y los analiza para ver
qué lineas mutar.
Merge branch 'stryker' of github.com:zeminlu/comitaco into errorDetection