Proofline v0.1.4

• 修复代码输入卡顿：Monaco 非受控输入、低优先级批量同步，取消逐字即时草稿写入。
• 完成可隐藏内嵌调试终端，支持运行、断点、暂停、单步和终止。
• 题干、代码/AI、终端布局支持拖动并持久化。
• 已通过 34 个测试文件 224 项单元测试、21 项 E2E 测试和 Windows release 构建。