Add anchors to the main sections the landing page

[lemmy]

Add a direct links to "How to Write TLA+", "Community Specifications", and “BlockingQueue Tutorial” on the landing page by adding anchors.

[lemmy]

Also add anchors for "How to Write TLA+" and "Community Specifications".