Document cvc5-style numerals

This documents the addition of cvc5-style numerals.

spec/doc.tex

@@ -214,7 +214,7 @@ break
   \textsuperscript{1} Universidade Federal de Minas Gerais, Brazil\\
   \textsuperscript{2} Albert-Ludwig-Universität Freiburg, Germany\\
   \textsuperscript{3} Université de Liège, Belgium\\
-  \textsuperscript{4} University of Iowa, Iowa City, USA\\
+  \textsuperscript{4} The University of Iowa, Iowa City, USA\\
 }