smodels 2.1: November 5, 1998

- Fixed bug in improve.cc that could corrupt the program when using
  weight rules.
- Introduced a naive version of iterative deepening (option -iterate).
  Solves some hard problems.