Removed external Sat4J lib.
Used eclipse internal Sat4J instead.
Removed indexoutofbounds test from org.prop4j tests (was not longer
compatible with the newer sat4j version).