Add link to jscoq snippets to Introduction chapter, so, users can find it when reading the book

[andreykl]

I think it should be in Chapter: Introduction Subchapter: Running examples in the Coq system

The link is https://math-comp.github.io/mcb/snippets/