Added licenses to MiniSATJava; Added missing licenses
Update Specs2 to 2.3.10; Adjusted test cases to new Specs2