chore: de-orphan protocol overview

Author: mhuisi

src/Lean/Server.lean

@@ -12,3 +12,4 @@ public import Lean.Server.FileWorker
 public import Lean.Server.Rpc
 public import Lean.Server.CodeActions
 public import Lean.Server.Test
+public import Lean.Server.ProtocolOverview