Add -finv option to min-caml