Unless Microsoft doesn't allow range requests, any half-decent client will happily resume an interrupted download. This includes browsers and command-line utilities like curl and wget.

Edit: Just tried one of the files with curl. They resume just fine, and the download URLs aren't even tied to a session or IP. I copied the URL from my local browser and used curl on a remote server. No problem. :)