Add somewhat functional miniconda formula