Documentation update

I was going to add some functionality to the json2veris function so that you could send it a list of directories rather than one single directory. Then when I looked at the code I saw that you could already do that. So I just updated the documentation to make it clear that the function supported that use case.