Document why we use libstdc++ and not libc++ on Mac