reasons to use wget includes:
wget is more ubiquitously available than curl. (my particular problem: curl isn't shipped in 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", which as of speaking would save 158 bytes, extra header not accounted for)
but since we're not using --compressed anyway, and that the script is really small (355 bytes), it's a moot point.
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.
