使引用本书其他章节的超链接能正常跳转到对应小节

[Hagb]

这个 PR 做了这些事情：

1. 提供了一个脚本 functional-programming-lean/scripts/sync-title-id.py 来将原文的章节标题的 id 同步到译文（其语法见于 https://github.com/rust-lang/mdBook/blob/v0.4.30/guide/src/format/markdown.md#heading-attributes ，需要更新 mdbook 到 >= 0.4.30 的版本）；
2. 同步过程删除了一些译文中相较原文多出来的大标题，如 functional-programming-lean/src/introduction.md 处的 # 引言，修复了一些标题级别与原文不对应的情况；
3. 将使用译文作为 fragment identifiers 的超链接改为使用原文 fragment identifiers，如 functional-programming-lean/src/monads/class.md 处的

   - 如[本章简介](../monads.md#对树节点编号)所介绍的，`State σ α`表示使用类型为 `σ` 的可变变量，并返回类型为 `α` 的值的程序。
   + 如[本章简介](../monads.md#numbering-tree-nodes)所介绍的，`State σ α`表示使用类型为 `σ` 的可变变量，并返回类型为 `α` 的值的程序。

效果见于：https://hagb.name/fp-lean-zh/