[mlton/f20] (3 commits) ...Use pkgdocdir instead of docdir

[Adam Goode]

Summary of changes:

  cf8bc9b... New upstream release (*)
  345a878... Switch to unversioned docdir (*)
  e07f356... Use pkgdocdir instead of docdir (*)

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