Bug#857220: mlton-tools: broken symlink: /usr/share/doc/mlton-tools/README -> doc/README

[Wesley W. Terpstra]

Thanks for the report.

I probably won't make a new upload to fix this issue alone, but will
be sure to fix it with the next upload.