feat: section on annotating libraries for grind#586

kim-em wants to merge 4 commits intomainleanprover/reference-manual:mainfrom

grind_annotationleanprover/reference-manual:grind_annotationCopy head branch name to clipboard