Dev updates from Coral, Google for Games Developer Summit, Maps Platform JavaScript API, and more!