Stop using the untracked local opam file on opam pin ./local-vcs #4143

Job	Run time
Analyse	7s
Hygiene	18s
Cygwin	6s
Build-Linux (4.08.1)	2m 24s
Build-macOS (4.14.2)	3m 27s
Build-Linux (4.09.1)	2m 24s
Test-macOS (4.14.2)	23m 56s
Build-Linux (4.10.2)	2m 27s
Build-macOS (5.3.0)	3m 15s
Test-macOS (5.3.0)	22m 34s
Build-Linux (4.11.2)	2m 21s
Build-Linux (4.12.1)	2m 37s
Build-Linux (4.13.1)	2m 37s
Build-Linux (5.0.0)	2m 39s
Build-Linux (5.1.1)	2m 15s
Build-Linux (5.2.1)	2m 17s
Build-Linux (4.14.2)	2m 22s
Build-Linux (5.3.0)	2m 25s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	35m 11s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	40m 49s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	39m 33s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	42m 10s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	46m 6s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	40m 39s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	41m 30s
Cold-Linux	5m 9s
Doc-Linux (4.14.2)	1m 9s
Test-Linux (4.14.2)	9m 57s
Solvers-Linux (z3, 4.14.2)	1m 0s
Doc-Linux (5.3.0)	1m 11s
Test-Linux (5.3.0)	9m 46s
Solvers-Linux (z3, 5.3.0)	54s
Upgrade-Linux (4.14.2)	1m 27s
Solvers-Linux (0install, 4.14.2)	1m 21s
Upgrade-Linux (5.3.0)	1m 33s
Solvers-Linux (0install, 5.3.0)	1m 33s
Solvers-macOS (z3, 4.14.2)	1m 48s
Solvers-macOS (z3, 5.3.0)	1m 12s
Upgrade-macOS (4.14.2)	1m 56s
Solvers-macOS (0install, 4.14.2)	1m 31s
Upgrade-macOS (5.3.0)	2m 21s
Solvers-macOS (0install, 5.3.0)	1m 31s
	6h 51m 48s

Provide feedback