Apple Developers Conference, Microsoft buys Github, dinosaur auctions