Spawn Lean server as daemon

Use `lean --server` to keep a long-running process going in the background and communicate with it from individual invocations of `cargo hermes verify`. This should help speed up subsequent runs, as the Lean LSP server performs a lot of in-memory caching.