Really add the list of pinned packages to 'opam repo -s'

This should help writing auto-completion scripts (see #375)