- Added an entry about the new Neg expressions to the NEWS file   [trivial].
- Added an entry about the new Neg expressions to the NEWS file
  [trivial].

petrhosek/storm,PyMamba/mamba-storm,petrhosek/storm,PyMamba/mamba-storm,petrhosek/storm,PyMamba/mamba-storm