Revert "Resolved dependency to Sat4J."

This reverts commit ffca929d2509cc3313e7607873945cc9f9ec40fe.
Revert "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)."

This reverts commit 07c05583f1e2a168a94e629aa4beefcf2fae1433.
Removed source attachment reference from satj4.core.