Job 3384

CakeML:066bf1d7716f4a255ee7937b617bcdbf0840f792
  files cleanup [Jun 14 11:26:50]
#1407 (mzh-100:pegexec_fo)
Merging into:f46a8b6b164930d3eecad03d052a0b827469f6de
  Word cse (#1410) [Jun 14 10:13:04]
HOL:9d7499d9bd45579524e6a8bb982571208b67a905
  Fix mosml build of Holmake (must compile fspathTrie) [Jun 05 08:25:32]