How to use curl or wget to download a text file off a website?