Wt

Currently there exists build information both in our documentation. This links to Redmine (see here). This features very old documentation.

We should modernize and correct this information, and move it to the actual documentation too, so that the wiki here will just point to the documentation.
The information there is part of the repo, and more easily maintained.