Download add-ons from console?
You can use wget which is a command line tool to retrieve files using HTTP, HTTPS and FTP you can download it from here and these are the installation instructions and how to use 

Also rather than coping it to a text file you could have right clicked on each of the six files and clicked 'save link as....' (a easier way) after that just put all of them in a folder and put that folder in the add-on folder