Carry the scheduler's memory between CI runners

A fresh CI runner has no run history, so the history scheduler guessed. Now one JSON file carries the learned times from runner to runner.