Mention python3 PyQt4 requirement in INSTALL