Show compilation output in AWS

Author: stefano-maggiolo

cms/server/templates/admin/submission.html

@@ -194,8 +194,15 @@ <h2 id="title_evaluation_admin" class="toggling_on">Evaluation (as seen by the a
 <h2 id="title_compilation" class="toggling_on">Compilation</h2>
 <div id="compilation">
 
+  <h3>Outcome</h3>
   <pre>{% if sr.compilation_text is not None %}{{ format_status_text(sr.compilation_text) }}{% end %}</pre>
 
+  <h3>Standard output</h3>
+  <pre>{% if sr.compilation_stdout is not None %}{{ sr.compilation_stdout }}{% end %}</pre>
+
+  <h3>Standard error</h3>
+  <pre>{% if sr.compilation_stderr is not None %}{{ sr.compilation_stderr }}{% end %}</pre>
+
 </div>
 
   {% end %}