If you want your kids to learn something while they’re out of school but would rather not ship them to some distant summer camp, Google is about to come to your rescue. It’s kicking off the latest edition of its annual Camp Google on July 13th, and t…