Merge branch 'feature/julien/update-e-acsl-refman' into 'stable/cobalt'

Update e acsl refman w.r.t. ACSL v1.18

See merge request frama-c/frama-c!4205

src/plugins/e-acsl/doc/refman/changes_modern.tex

 \section{Changes}
 
 % Next version
-%\subsection*{Version \version}
+\subsection*{Version \version}
+\begin{itemize}
+  \item Update according to \acsl 1.18
+    \begin{itemize}
+    \item \changeinsection{memory}{add the \lstinline|\\object_pointer| and
+    \lstinline|\\pointer_comparable| built-in predicates.}
+    \end{itemize}
+\end{itemize}
 
 \subsection*{Version 1.17}
 \begin{itemize}

src/plugins/e-acsl/doc/refman/memory.tex

@@ -11,6 +11,8 @@
        | "\valid" { one-label? } "(" locations-list ")" ;
        | "\valid_read" { one-label? } "(" locations-list ")";
        | "\separated" "(" location "," locations-list ")";
+       | { "\object_pointer" one-label? "(" locations-list ")" };
+       | { "\pointer_comparable" one-label? "(" term "," term ")" };
        \
   { one-label } ::= { "{" label-id "}" } ;
        \