Fixed display of version when querying info on a pinned package
Fixed version display in 'opam list'
fixed url display for 'opam list' of specific versions of pinned packages
Adding packages with pinned version to the global set
Merge pull request #780 from AltGr/fix-display

Fix display