Solved eventually: Wait about 2 hours and reboot your mac, then open the app store and an Xcode update will be available to you. (This bit about waiting an arbitrary interval was not intuitive.)