Update INSTALL regarding sphinx version.