Job 770

CakeML:2ea4be44c557842dfbae4dcfe0e8bdd57aa677e9
  speedup simple reg alloc a litle? [Mar 30 21:41:33]
#622 (improve_reg_alloc)
Merging into:4e837ffdd2b7c207dc897fe6802efd3407fce74d
  Merge pull request #624 from CakeML/cf-div [Mar 31 19:10:45]
HOL:1e8de6219fcfa9f9d37e22b77693410497144d0f
  Fixes in Miller-Rabin example to cope with simpLib API change [Apr 02 23:31:30]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Apr 04 12:30:19 Claimed job
Apr 04 12:30:58 Building HOL