Get tools man pages from the tools repo

This depends on https://github.com/D-Programming-Language/tools/pull/119