Get rid of reference to expr2dimacscnf
Add version 0.15 release notes