Merge branch feature/jorgen.lind/tools_in_documentation with refs/heads/master...

Merge branch feature/jorgen.lind/tools_in_documentation with refs/heads/master into refs/merge-requests/138/train
3 jobs for !138 with feature/jorgen.lind/tools_in_documentation into master in 3 minutes and 22 seconds (queued for 1 second)
merge train