More adjustments on git/eclipse config.
Added a readme.txt file in libs directory regarding SAT4J library.