selecting curl vs wget for downloading easy_install depending on operating system