Have a debuglint make target too
Add a file-downloading utility function