Document QUINT and VERSO external tools#509

PolarBean merged 3 commits into

mainbrainglobe/brainglobe.github.io:mainfrom

quint-verso-docbrainglobe/brainglobe.github.io:quint-verso-docCopy head branch name to clipboard