SAN FRANCISCO — Microsoft CEO Steve Ballmer’s looming retirement sets the stage for a successor who can infuse sorely needed innovation into the once-dominant software maker....