Opam switch create and gcc10

I just checked Debian and Ubuntu LTS releases and Debian oldstable is at 4.02 and Ubuntu 16.04 is at 4.02 as well, so these seem like a decent cutoff line (haven’t checked RHEL). On the other hand, they are extremely unlikely to ever get GCC 10 so that problem might just never effectively manifest.