opam show --raw to see opam files; small improvements to conflict messages