Format (compilation and evaluation) status texts in AWS

The compilation text should be augmented with stdout, stderr, time and
memory consumption, etc.