Google Summer of Code, Google Play, and more dev news!