In #63 we added a railroad diagram generator. For its own documentation, we now use a manual ToolDef script to generate the diagrams and then we commit them to Git. We should remove them from the Git repo and generate them during the build automatically.