INSTALL.md: Add extra instructions for Python 3.