fixed DFASAT for new flexfringe version, now merges states once the sat solver returns a solution, solution is maxed at 5000 chars, this should be fixed at some point to be arbitrary length, also predict with json is fixed, uses json now for printing (please let me know if there are problem)

Author: sicco