Implemented DPLL to solve all problems of type 1.
Added the evaluator.jar
Implements an EvolutionarySolver for problems of type 3.  Adds a script to test the evaluation.
Implement test for different problem types to choose the most appropriate solver.  Implement plateau detection and random restarts.
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