Add missing team members to member data

* Adds missing team members from software.hifis.net to the team data of
hifis.net
* Names non-HIFIS authors and contributors explicitly in the posts and
events
9 jobs for !224 with 133-take-over-team-data-where-appropriate in 6 minutes and 17 seconds
latest merge request