Google to Pay $2.4B in Deal to License Tech of Coding Startup, Hire CEO