Add MiniSatJava implementation + some tests
Added SATLib reference to DIMACS files
Added licenses to MiniSATJava; Added missing licenses
Update Specs2 to 2.3.10; Adjusted test cases to new Specs2