stale: remove old, unused .mli files
Merge pull request #159 from frenetic-lang/stale

stale: remove old, unused .mli files