Add link to GCC FAQ about libstdc++