The best possible legacy for Marissa Mayer could turn out to be that she got a good price for Yahoo’s core business.