reasons to use wget includes:
wget is more ubiquitously available than curl. (my particular problem: it isn't shipped by Debian by default)
wget's ability to recover from a prematurely broken transfer and continue downloading has no counterpart in curl.
reasons for using curl:
... in theory, curl could be faster by enabling --compressed , which would make the github servers gzip-compress the transfer (curl: "Accept-Encoding: deflate, gzip" github: "Content-Encoding: gzip" )
but since we're not using --compressed anyway, and that the script is really small (197 bytes), i think we should use wget.
Upon first try I recived a permission denied msg when attempting to clone the repository. For ease of use when future users attempt to use this repository, I've added an alternative method as a backup.
