change formatting of listing, to be more compact.

Hi Valerian,

I'll send you another pull request for the grammar fixes.

Here, I just updated the template to use the usual Scala fonts we use in our papers. You might need to install luximono on your machine.