Update picosat to version 960.
Update aiger to 1.9.9.
Update lingeling.
Remove picosat 951.
Update minisat 2.2.0. Note that this version conflicts with the
minisat provided by Homebrew.
Update boolector to 2.0.0.