report: Add stub "Thanks" section.

tex/paper/miri.tex

@@ -297,4 +297,10 @@ Other possible uses for Miri include:
     guarantee that compile-time execution works the same as runtime execution.
 \end{itemize}
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\section{Thanks}
+
+Eduard Burtescu, Niko Matsakis, and Christopher Dutchyn.
+
 \end{document}