Fixed description of --disable-python-bindings, added fixed python-dist target, Updated INSTALL file.