List demo runtimes
Improve writing style for paragraph in conclusions

Conflicts:
	main.tex
Shorten & revise code listings

- use math characters
- abbreviate variable names
- remove some input parameters
- use the Listings breakwhitespace option to control line breaks in
  code listings
Revise grammar
Revise grammar