[FYI] Restarted jenkins on build.squeak.org

Test jobs on build.squeak.org seemed to be running very slowly and
timing out. I restarted jenkins a couple minutes ago to see if it makes
any difference.

Dave