Tweak the tools/init_opam_switch.sh script so that it is compatible with both opam 2.0.x and opam 2.1.x
tools/init_opam_switch.sh