Documentation update
Makes it clear that json2veris also works with a vector of
directory names and not just a single directory.