Job 641

CakeML:7db669b022b0430c4ffdeee063a4625dd304592c
  Fix a few missed Holmakefiles [Dec 20 11:48:32]
#583 (heapfree)
Merging into:4b5d4f06ef2984bee7512209933101d98381b187
  Merge pull request #585 from CakeML/x64_windows [Dec 20 22:03:59]
HOL:c99bf069b288e4e86f509d0fac5871d776094f01
  Make the src/boss selftest run on top of the standard HOL heap [Dec 19 10:03:16]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 20 23:50:19 Claimed job
Dec 20 23:50:23 Reusing HOL