Update sygus URL in docu (cvc5#10287)

The old sygus domain seems to be squatted now.

In response to issue cvc5#10285

docs/binary/binary.rst

@@ -8,7 +8,7 @@ interface.
 The cvc5 binary supports the following input languages:
 
 * `SMT-LIB v2 <http://smtlib.cs.uiowa.edu/language.shtml>`_
-* `SyGuS-IF <https://sygus.org/language/>`_
+* `SyGuS-IF <https://sygus-org.github.io/language/>`_
 
 
 Alternatively, cvc5 features :doc:`several APIs <../api/api>` for different programming languages.