[mlton/f17] (7 commits) ...Add todo file

[Adam Goode]

Summary of changes:

  a169e1d... Scrap all the arch-specific bootstrapping, use polyml to do (*)
  8056ea1... Remove max-heap workaround (*)
  ade36c4... add missing %endif (*)
  9c723bc... Remove htmldoc docs (*)
  f064937... MLton is too big for polyml, so bootstrap arm, armhfp, ppc, (*)
  86675d3... Remove script used for polyml bootstrap (*)
  3823572... Add todo file (*)

(*) This commit already existed in another branch; no separate mail sent