[relman] use docker to test the release

doc/release/build.tex

@@ -334,8 +334,20 @@ Please check that the distribution (sources and API) is OK:
   \texttt{/home/user/git/frama-c}. It should appear nowhere in the archive.
 \item check that \texttt{./configure \&\& make -j \&\& sudo make install} works fine
   (or check e.g. \texttt{./configure --prefix=\$PWD/build \&\& make -j \&\& make install});
+\item Alternatively, you can use \texttt{docker} to compile the archive against a
+  precise configuration:
+  \begin{itemize}
+    \item \verb+cp distributed/frama-c-<VERSION>.tar.gz developer_tools/docker+
+    \item \verb+cd developer_tools/docker+
+    \item \verb+make Dockerfile.dev+
+    \item \verb+docker build . -t framac/frama-c:dev --target frama-c-gui-slim \+\\
+          \verb+  -f Dockerfile.dev --build-arg=from_archive=frama-c-<VERSION>.tar.gz+
+    \end{itemize}
 \item test the installed binaries (especially the GUI). (On Linux, OCI tests
-  everything but the GUI);
+  everything but the GUI); If you've taken the \texttt{docker} route, you might
+  want to install the \href{https://github.com/mviereck/x11docker}{\texttt{x11docker}} script,
+  in order to be able to launch
+  \verb+x11docker framac/frama-c:dev frama-c-gui+
 \item redo the two steps above on Windows/WSL \expertise{André}\expertise{Allan},
   macOS \expertise{André}\expertise{Loïc}\\\expertise{Thibaud};
   \begin{itemize}