docs: 更新开发文档

[YDX-2147483647]

• 删除了bithesis.dtx中不匹配的\begin{macro}（1be9eb7 引入）

  之前会报错。

  ./bithesis.dtx:45: LaTeX cmd Error: Verbatim-like environment 'macro' illegal i
  n argument.
  
  For immediate help type H <return>.
   ...
  
  l.45 % \section
                 {实现细节}
  

• 介绍 DocStrip。

[YDX-2147483647]

markdown-link-check:

ERROR: 1 dead links found!
[✖] https://api.star-history.com/svg?repos=bitnp/bithesis&type=Date → Status: 503

忽略。