Introduce type hints in the HF backend files

[jonasleitner]

Improves static typing of the Python-facing API. Mostly annotations and stub
regeneration, plus a few interface changes needed to make the generated stub
useful.

C++ / pybind11 interface

• Named all binding arguments so the stub exposes keyword arguments instead of arg0, arg1, ...
• New libadcc_src/pyiface/ndarray.hh: NDArray<T, Ndim>, a thin py::array_t<T>
  wrapper that carries the dimensionality into the stub
  (numpy.ndarray[tuple[int, int], numpy.dtype[numpy.float64]]) and rejects
  arrays of the wrong ndim at the boundary (data type casts unchanged).
• py::array / py::tuple / py::list parameters replaced by more specific types that generate
  more specific signatures for the stub file. The runtime behavior should not be affected.
• pybind11 minimal version updated to 3.0 for the support of variadic arguments.

Python backends

• Type hints for pyscf, psi4 and EriBuilder. Note that a breaking change in the signature of
  EriBuilder.compute_mo_eri is introduced.
• veloxchem: added get_nuclear_repulsion_energy so the backend remains functional.

Additionally, the temporary libxc-c=7.0.0 pin for psi4 is removed again.