NEWS and ChangeLog files for 0.12.5 release