GitHub, a start-up whose products software developers use to store and collaborate on code, on Thursday said that its CEO, co-founder Chris Wanstrath, will step down. Wanstrath will remain on the board to help find his replacement, then will then become executive chairman of the company, which has more than 20 million users and $200 million in annualized...