Track missing documentation

[voisey]

This is to track information that needs to be added to https://magma.github.io/magma and https://github.com/magma/magma/wiki as part of the knowledge handover. It corresponds to this page in the Confluence. I will be going through the Confluence page and updating this issue with tasks so that people can be assigned to fill the gaps.

Tasks:

• [x] #14919
• [x] #14920
• [x] #14922
• [x] #14924
• [x] #14936
• [x] #14939
• [x] #14959
• [x] #14960
• [x] #15008
• [ ] #15009
• [x] #14409
• [ ] #14095
• [ ] #15010
• [x] #15058
• [ ] #15135
• [ ] #15138
• [ ] #15139
• [ ] #15140
• [ ] #15142

[LKreutzer]

I added the task https://github.com/magma/magma/issues/14936

[MoritzThomasHuebner]

I added #14959 and #14960