[manuals] update version name of Changelog section

doc/aorai/main.tex

@@ -1244,7 +1244,7 @@ The plug-in is composed of three parts:
 
 
 \section{Recent updates}
-\subsection{Frama-C+dev}
+\subsection{Frama-C Vanadium}
 \begin{itemize}
 \item Documentation for options \texttt{-aorai-no-generate-annotations}
 and \texttt{-aorai-smoke-tests}

doc/developer/changes.tex

@@ -5,7 +5,7 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
-\section*{dev}
+\section*{23.0 Vanadium}
 \begin{itemize}
 \item \textbf{Testing}: Document new directive \texttt{EXIT}.
 \end{itemize}

doc/userman/user-changes.tex

@@ -3,6 +3,8 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
+\section*{23.0 (Vanadium)}
+
 \begin{itemize}
 \item \textbf{Platform-wide Analysis Option:} swap argument order of
   \texttt{-add-symbolic-path} (now uses \texttt{path:name}).