Fix broken multiline reference

The `<!--` `-->` hack to continue a reference overmultiple lines no
longer works in Doxygen 1.9.1. This commit avoids the need for a hack by
fitting the reference on a single line. The class name `ai_baset` can be
safely ommitted from the reference, because this block of doxygen is
already assoicated with the `ai_baset` class.

Author: thomasspriggs

scripts/expected_doxygen_warnings.txt

@@ -1 +0,0 @@
-src/analyses/ai.h:70: warning: unable to resolve reference to 'ai_baset#operator()' for \ref command

src/analyses/ai.h

@@ -67,9 +67,8 @@ Author: Daniel Kroening, [email protected]
 /// Users of abstract interpreters should use the interface given by this class.
 /// It breaks into three categories:
 ///
-/// 1. Running an analysis, via
-///    \ref ai_baset#operator()(const irep_idt&,const goto_programt&, <!--
-///    --> const namespacet&),
+/// 1. Running an analysis, via \ref
+///    #operator()(const irep_idt&,const goto_programt&, const namespacet&),
 ///    \ref ai_baset#operator()(const goto_functionst&,const namespacet&)
 ///    and \ref ai_baset#operator()(const abstract_goto_modelt&)
 /// 2. Accessing the results of an analysis, by looking up the history objects