Makefile: use python-config instead of distutils (broken on macports)
doc: use VERBOSE=1