File Release Notes and Changelog

- Added the feature that a model is printed when the schema is satisfiable
- Added command-line option to not print this model
- Added command-line option to exclude some variables when printing a model
- Removed the negation normal form restriction on the input: every formula can
  now be negated (but it will be internally translated to n.n.f.)