Mac OS X fix: get a correct install_name for libflint.dylib
Update NEWS and version numbers.