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