HP names former GSK chief Emma Walmsley as its next CEO · Digg