fixup NEWS for release script
1.2.3: will be tagged as "sbcl-1.2.3"