Fix link in util/README.md

Author: John Nonweiler

scripts/expected_doxygen_warnings.txt

@@ -27,7 +27,6 @@
 /cbmc/doc/architectural/howto.md:260: warning: found </div> at different nesting level (6) than expected (3)
 /cbmc/doc/architectural/howto.md:261: warning: end of comment block while expecting command </div>
 /cbmc/src/solvers/README.md:4: warning: @copydetails or @copydoc target 'generate_instantiations(messaget::mstreamt &stream, const string_constraint_generatort &generator, const index_set_pairt &index_set, const string_axiomst &axioms, const std::map<string_not_contains_constraintt, symbol_exprt> &not_contain_witnesses).' not found
-/cbmc/src/util/README.md:245: warning: unable to resolve reference to `ansi_ct' for \ref command
 /cbmc/src/cbmc/bmc.cpp:473: warning: argument 'message' of command @param is not found in the argument list of bmct::do_language_agnostic_bmc(const path_strategy_choosert &path_strategy_chooser, const optionst &opts, abstract_goto_modelt &model, ui_message_handlert &ui, std::function< void(bmct &, const symbol_tablet &)> driver_configure_bmc=nullptr, std::function< bool(void)> callback_after_symex=nullptr)
 /cbmc/src/cbmc/bmc.h:124: warning: The following parameters of bmct::do_language_agnostic_bmc(const path_strategy_choosert &path_strategy_chooser, const optionst &opts, abstract_goto_modelt &model, ui_message_handlert &ui, std::function< void(bmct &, const symbol_tablet &)> driver_configure_bmc=nullptr, std::function< bool(void)> callback_after_symex=nullptr) are not documented:
   parameter 'path_strategy_chooser'

src/util/README.md

@@ -241,8 +241,8 @@ Symbols have:
 * A mode, which indicates the source language frontend responsible for creating
   them. This is mainly used in pretty-printing the symbol table, to indicate
   the appropriate language frontend to use rendering the symbol's value and/or
-  type. For example, mode == ID_C == "C" indicates that \ref ansi_ct, the C
-  front-end, should be used to pretty-print, which in turn delegates to
+  type. For example, mode == ID_C == "C" indicates that \ref ansi_c_languaget,
+  the C front-end, should be used to pretty-print, which in turn delegates to
   \ref expr2ct.
 * A base-name and pretty-name, which are a short and user-friendly version of
   the symbol's definitive name respectively.