Fix #819

Use 'opam update -u' to chain 'opam update' and 'opam upgrade --yes'