Remove need for 'opam update' just after 'opam repo add'