Automatic generation of .mli files from .ml ones using special tags in comments