Added in SATLexer.class in sat package
Merge branch 'master' of github.com:zikhanexe/2d-sat

Conflicts:
	src/immutable/EmptyImList.java
	src/immutable/ImMap.java
	src/sat/SATSolver.java
	src/sat/SATSolverTest.java
	src/sat/formula/Clause.java
	src/sat/formula/FormulaTest.java
Merge branch 'master' of github.com:zikhanexe/2d-sat