Fix intermittent universe-restart.rkt DrDr failure#252

mfelleisen merged 1 commit intoracket:masterracket/htdp:masterfrom

samth:fix-universe-restart-drdrsamth/htdp:fix-universe-restart-drdrCopy head branch name to clipboard