diagnose missing Python.h in configure
python3-devel installed results in
./spot_impl_wrap.cxx:155:21: fatal error: Python.h: No such file or directory
it would be better to check for that in configure, and emit a more useful error message (suggest either to install
python3-devel, or to use
Reported by Vitus Lam firstname.lastname@example.org.