Haddock、hi-Haddock的内存使用修复

• 不包括全局（_G）在中无后端后端。它只包括在内用于Haddock，但Haddock实际上并不需要它。这会导致200MB在Agda代码库上生成haddock时最大驻留时间的减少（大约1GB到800MB）。
• 修复关联数据族的DocStructureItem生成。
• 更新Haddock子模块以包含hi-Haddock工作。