Run [opam update] first, otherwise the script can fail to find the
required packages.
If a local switch already exists, ask whether it should be deleted.
Update some informational messages.