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