Added code for generation hamming generation matrix
Changed name of solvers related to graph constrained group testing problem
Changed name of path tester to support further general group testing problem
Corrected problem with state analyzing in brute force solver