Job 3324

CakeML:9f3aa95f110ce529cb163f95ac732576a09be9fc
  strlit "..." ->  [May 05 00:28:42]
#1376 (fix-491)
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]