Update tools.md
Update tools.md

Former-commit-id: 988d17ec3217713b7c41d84c05f3ab295ab45443 [formerly 988d17ec3217713b7c41d84c05f3ab295ab45443 [formerly a881b4034981355fd2a9c8ae4ec7383957dec3a7]]
Former-commit-id: 6998906c79e3061aba0b7660ad34475e0f086a2f
Former-commit-id: 60c95fd9664c91ce4aaad0722cc8d3d3c19d0579
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine