stale: remove old, unused .mli files