Update INSTALL.py documentation