lang/mlkit: update to 4.7.13

Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md

PR:		283008

lang/mlkit: Moved man to share/man

Approved by:    portmgr (blanket)

lang/mlkit: update to 4.7.5

Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md

 - ReML released as part of the distribution
 - Improved documentation of basis library
 - Addition of IEEE_REAL signature and IEEEReal structure.
   Improved Real support.
 - Initial support for explicit region and effect annotations, including
   constraints on function invocations. The modified source language,
   which we call ReML (a Standard ML program is also a ReML program) is
   enabled with the -er flag
 - Generate position-independent machine code

PR:		274695

lang/mlkit: Standard ML Compiler

The MLKit is a compiler toolkit for the Standard ML language, including
The MLKit with Regions, which features a native backend for
the x64 architecture, based on region inference, and SMLtoJs,
which features a JavaScript backend targeting web browsers.
The two compilers share the same frontend and compilation management scheme.

The MLKit covers all of Standard ML, as defined in the 1997 edition of
The Definition of Standard ML and supports most of
the Standard ML Basis Library.

WWW: https://elsman.com/mlkit/

PR:		269566