Fix github link to use https
Update Miniconda links