Doxygen: rename all .dox files to end with .md

Using a standard ending here will let other tools that expect
markdown understand our output here.

This commit was automatically generated with:

   for fn in $(find src -name '*.dox'); do \
      git mv "$fn" "${fn%.dox}.md"; \
   done

1 files changed, 0 insertions, 0 deletions

diff --git a/src/tools/tools.dox b/src/tools/tools.md
index 1f00381679..1f00381679 100644
--- a/src/tools/tools.dox
+++ b/src/tools/tools.md