I do not believe they provided a download mechanism. The tree is hierarchical, and html with hyperlinks to lower levels with color coding was an efficient way for ISOGG to create and maintain the information. They are continuously updating it with new information and maintain a yearly snapshot of the tree, so they may not want people downloading copies that will quickly become out of date.
If you still want to download it, there are two possibilities:
Contact Ray Banks, who is the contact person for the ISOGG Y-DNA Haplogroup Tree. The link to contact him is displayed prominently on all the ISOGG Y-DNA Tree pages, so he wants to be contacted. Tell him what you are trying to do, and he may give you ulterior suggestions or maybe he'll just tell you how you can download the entire tree.
Try using Felix Immanuel's ISOGG Y-Tree AddOn for Google Chrome. Maybe that will do what you need. If not, (and you sound like a programming type of guy if you plan to write scripts) check out his JavaScript source code for that Addon at Github. His program is accessing that data, so you might be able to modify it to produce your own extract of the ISOGG data. Or you could contact Felix Immanuel directly. He might be interested in writing something that will do what you want if he deems it useful.