20150612 tech.social: Twitter says CEO Dick Costolo to step down on July 1; Jack Dorsey to be interim CEO