feat(frontend/lean/server.cpp): add "-- BEGININFO" header
checkpoint