Job 3325

CakeML:98d971306767a8c6c4794431a8dee7754add9e8b
  fix [May 04 13:47:56]
#1384 (rup_refactor)
Merging into:785b64803a3e9835b684bb76f8ebfbe7cdc84971
  Merge pull request #1381 from CakeML/fix-preambles [Apr 30 20:16:24]
HOL:60700bdf7cbbfca4f59cf0a84c07c2ce018801cc
  Check for mlton in the PATH when building postkernel/prooftrace [May 01 05:14:25]