port ugent infra page to user docs

[wdpypere]

not super happy with the tables, apparently mkdocs does not support code line splitting for tables. but here it can be managed by multiple people, not like the current page.

[wdpypere]

ok, now the tests passed. only error is github.com getting blocked on the mathlab pages. but when I check manually, it works just fine.

[boegel]

ok, now the tests passed. only error is github.com getting blocked on the mathlab pages. but when I check manually, it works just fine.

@wdpypere The whitelist for the link checker was updated in #765, so you should sync with main branch to fix/ignore this

[wdpypere]

@boegel , rebased.