Ga Algo initial push
Local search fixed
Fixed localsearch
Genetic Algorithm implemented completely
Merge branch 'master' of https://github.com/ck1456/HPS_SAT

Conflicts:
	src/hps/nyu/fa14/Formula.java
	src/hps/nyu/fa14/SATSolver.java
	testsrc/hps/nyu/fa14/FormulaTest.java
Merge branch 'master' of https://github.com/genghis88/HPS_SAT
Added TimedSolutionSolver to make sure we output the best possible solution in the time allotted.