INSTALL.md: use Python 3