Makefiles: replace sphinx calls by hardcoded python3 calls

This allows you to still have python-sphinx and python3-sphinx coinstalled and
still build with Python 3.