update NEWS file
partially address bug 486: allow some model inspection of quantifiers
partially address bug 486: allow some model inspection of quantifiers
fix to workaround ANTLR 3.2 issue with initialization
Merge branch '1.0.x'

Conflicts:
	NEWS