Add release notes for 4.0.1 and update version number.