Contrary to a widely held perception, public school summer vacations are not getting shorter. And that’s a shame.