Install object files and header files of aiger.
Add Lingeling al6-080d45d-120922.
Update PicoSAT to version 957.
Add minisat-2.2.0 which includes library and header files.
Add Boolector 1.5.118.