Update minimum Python version in INSTALL.