add_miniconda.py
This adds anaconda 2023.03, anaconda 2023.07, miniconda 23.3.1, and miniconda 23.5.0.