Since they don't forbid batch downloading in the Terms of Service, it shouldn't be too complicated to write a python script which automatically locates the file names in the HTML and does a batch download. Only problem I see so far is that you need to login to see the page first. I'll try putting something together.