report: add screenshots of explore app

doc/report/applications-screenshots.tex

+% https://tex.stackexchange.com/questions/196481/problem-on-subfigure-2x2
+
+\begin{figure*}
+    \centering
+    \begin{subfigure}[b]{0.475\textwidth}
+        \centering
+        \shadowbox{\includegraphics[width=\textwidth]{figs/explore1.png}}
+        \caption{Listing of all contributors in the data set.\\~\\}
+    \end{subfigure}
+    \hfill
+    \begin{subfigure}[b]{0.475\textwidth}
+        \centering
+        \shadowbox{\includegraphics[width=\textwidth]{figs/explore2.png}}
+        \caption{Listing works a given contributor worked on.}
+    \end{subfigure}
+    \vskip\baselineskip{}
+    \begin{subfigure}[b]{0.475\textwidth}
+        \centering
+        \shadowbox{\includegraphics[width=\textwidth]{figs/explore3.png}}
+        \caption{Examining a single node in the data set. From \texttt{ulo:sourceref}
+          we can infer the original URI of this object.}
+    \end{subfigure}
+    \hfill
+    \begin{subfigure}[b]{0.475\textwidth}
+        \centering
+        \shadowbox{\includegraphics[width=\textwidth]{figs/explore4.png}}
+        \caption{The original source code for a given node in our data set.\\}
+    \end{subfigure}
+    \caption{Exploring the Isabelle~export~\cite{uloisabelle} with a rudimentary
+      web interface.}\label{appss}
+\end{figure*}

doc/report/applications.tex

@@ -73,6 +73,14 @@ expect predicates to be evenly distributed in the data set. This is
 something to keep in mind especially as the number of ULO exports
 increases.
 
+\subsection{Interactive Exploration}
+
+How the notes all bend and reach around the treeeeeeeeeeees.
+
+\input{applications-screenshots.tex}
+
+Now how I remember you!
+
 \subsection{Querying for Tetrapodal Search}\label{sec:tetraq}
 
 Various queries for a tetrapodal search system were previously

doc/report/report.tex

 \documentclass[a4paper]{scrartcl}
 
-\usepackage{amsmath}
 \usepackage[american]{babel}
+\usepackage{amsmath}
 \usepackage{booktabs}
 \usepackage{caption}
 \usepackage{fancybox, graphicx}
@@ -12,6 +12,7 @@
 \usepackage{lipsum}
 \usepackage{listings}
 \usepackage{multicol}
+\usepackage{mwe}
 \usepackage{placeins}
 \usepackage{subcaption}
 \usepackage{subcaption}