Update NEWS and update versions for 4.0.1