Add new IntMap class: essentially a restricted vector parametrized on keys.
Add new IntMap class: essentially a restricted vector parametrized on keys.

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