Version number updates for 0.15.3 release.