Job 980

CakeML:91e01be57bf1237eb80d6ad1de46653f4dacffa1
  Fix another def_compute [Aug 04 11:25:18]
HOL:8179c0d99ce8ead96edb7a913d49962b77102bf7
  Further tweaks to nlist material, getting TM example to build again [Aug 01 07:55:11]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Aug 04 11:45:04 Claimed job
Aug 04 11:45:12 Building HOL
Aug 05 10:04:09 FAILED: building HOL