Added opam switch 4.02.0 instruction.