python3 docs building, but Debian/Ubuntu-specific

+ no need to add docs/conf.py in EXTRA_DIST