add option to download RStudio if the wget script times out