tox/sphinx-dev: Workaround really long dependencies installation

The new pip resolver ends up backtracking numerous packages when
installing all depencies in a single pip command but this is
terribly slow and long to execute.

A workaround is to install each swh package one at a time by
executing pip multiple times, no backtracking happens in that
case and it reduces considerably the overall installation time.

Another advantage of proceeding like this is that it ensures each
swh package will be installed in development mode.

Also increase tox verbosity when calling make to have some feeback
of what it is doing.

Makefile.local

@@ -6,4 +6,11 @@ all:
 	@echo Building the whole documentation from source code repositories
 	@echo available in ../ via tox. This can take a while.
 	@echo Please be patient.
-	tox -r -e sphinx-dev
+	tox -vv -r -e sphinx-dev
+
+pip-install-swh-dev:
+	python3 -m pip install pifpaf
+	sed 's/#.*$$//;/^$$/d' requirements-swh-dev.txt | \
+	while IFS= read -r package; do \
+	  python3 -m pip install $$package ; \
+	done

tox.ini

@@ -17,10 +17,10 @@ commands =
   {envpython} -m pifpaf run postgresql -- make -C docs {posargs:html}
 
 [testenv:sphinx-dev]
-deps =
-  django < 3
-  -rrequirements-swh-dev.txt
-  pifpaf
+allowlist_externals = make
+# workaround really long dependencies installation due to the
+# new pip resolver and its backtracking processes
+install_command = make pip-install-swh-dev {packages}
 setenv =
   SWHPKGDIR = {envsitepackagesdir}/swh
 commands =