Added libs/minisat (copy of minisat git master)