Add generation of classical models.

- Adjusted class ClaspSolver to get classical models of a logic program.
- Introduced config_values.h
  - Use macros instead of strings in config.getOption(..) and config.setOption(..),
    to get build errors in case of typos.