- restructure KIWISatSolver class
  In preparation to support libsolv the satsolver class has been
  redesigned to work with both the libsatsolver and the libsolv
  implementations. Support for libsolv will follow soon