build: Generate and install etc/profile.d/mamba.sh for mamba (#3723)

build: Generate and install etc/profile.d/mamba.sh for mamba (#3723) #2047