Documentation update
Makes it clear that json2veris can be used on multiple directory names
and not just one.