Add some more pages

[pages] / tools / index.md

Various other projects are listed here, they are generally not quite as stable
or well organized as the rest of the projects.