Updated README file with some instructions on configure/build/install.
Updated README file with some instructions on configure/build/install.

meteor/minisat,jamesbornholt/minisat,niklasso/minisat,mabdula/minisat,niklasso/minisat,meteor/minisat,robertsami/minisat,mabdula/minisat,meteor/minisat,meteor/minisat,robertsami/minisat,jamesbornholt/minisat,mabdula/minisat