I don't know any other tool than
grok.se where we need to select the filenames manually but just FYI, don't forget, if you want accurate stats for book downloads with the URL you gave, to consult the new wsexport as well:
On the French Wikisource, we already have migrated almost all links to the new wsexport that allows to make PDFs as well (I'll write Tpt for him to add the PDF column in the stats on wmflabs...)