With Bartz out at Yahoo, is AOL’s Tim Armstrong next?