opam upgrade: Do not show the not-up-to-date message with packages tagged with avoid-version #4052

Job	Run time
Analyse	4s
Build-Linux (4.08.1)	2m 18s
Cygwin	6s
Hygiene	15s
Build-Linux (4.09.1)	2m 40s
Build-macOS (4.14.2)	4m 6s
Build-Linux (4.10.2)	2m 30s
Build-macOS (5.3.0)	3m 34s
Build-Linux (4.11.2)	2m 19s
Test-macOS (4.14.2)	28m 59s
Build-Linux (4.12.1)	2m 39s
Test-macOS (5.3.0)	25m 10s
Build-Linux (4.13.1)	2m 32s
Build-Linux (5.0.0)	2m 35s
Build-Linux (5.1.1)	2m 30s
Build-Linux (5.2.1)	2m 36s
Build-Linux (4.14.2)	2m 15s
Build-Linux (5.3.0)	3m 6s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	37m 45s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	43m 51s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	42m 32s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	45m 3s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	45m 28s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	41m 55s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	43m 10s
Test-Linux (4.14.2)	10m 48s
Doc-Linux (4.14.2)	1m 15s
Cold-Linux	5m 15s
Solvers-Linux (z3, 4.14.2)	55s
Test-Linux (5.3.0)	9m 39s
Doc-Linux (5.3.0)	1m 48s
Upgrade-Linux (4.14.2)	1m 37s
Solvers-Linux (z3, 5.3.0)	53s
Solvers-Linux (0install, 4.14.2)	1m 30s
Upgrade-Linux (5.3.0)	1m 16s
Solvers-Linux (0install, 5.3.0)	1m 25s
Upgrade-macOS (4.14.2)	2m 16s
Solvers-macOS (z3, 4.14.2)	1m 37s
Upgrade-macOS (5.3.0)	1m 55s
Solvers-macOS (z3, 5.3.0)	1m 40s
Solvers-macOS (0install, 4.14.2)	1m 37s
Solvers-macOS (0install, 5.3.0)	1m 33s
	7h 16m 57s

Provide feedback