20150513 tech.tech-news: AOL's Armstrong charted bumpy path to big Verizon sale