Run the `CoreM` monad from frontend

Stream: lean4

[Hanting Zhang]

I know that Lean.Elab.runFrontend can run the entire frontend on a file and give you back the environment after processing it. Is there anything that runs the frontend and gives you the CoreM state after processing the file?

I'm asking because I want to run Lean.Compiler.compile from a main function to give me the results of compiling another file. But I can't actually create a CoreM environment to do so...