Update Qu-Prolog compatibility notes (version 9.0 is now required)