ci: use Python interpreter found by CMake when building sphinx doc

Rationale: using possibly different Python interpreters for the different task can make the installation of packages required by the different interpreters more complicated.