本書内で参照しているリンクを日本語ページに置き換える

C01/S01等で外部リンクが埋め込まれているが、すべて英語ページのため、日本語のソースにしたい。
markdownのように訳注をつけるやり方を調べる。

* Leanのインストール
  * https://aconite-ac.github.io/how_to_install_lean/
* vscode
  * https://azure.microsoft.com/ja-jp/products/visual-studio-code