Replace the custom navigation with the document tree macro

The new strategy is to replace having a manual navigation tree written in several wiki pages by the usage of the documenttree macro and pinning to define the order.