opam-admin: added '--resolve'