Fix tests

'opam list -a' should show installable *and* installed packages. When an installed package does not have a repository, this set is different from installable only.