Add python3 flavored libraries for buildd.debian.org.