Opam-admin make: don't build archives for dev packages