Hard-coded names

[vext01]

There are hard-coded benchmark and machine names in the generated latex tables:

warmup_stats/warmup/latex.py

Lines 83 to 92 in d304bbf

	\\newcommand{\\binarytrees}{\\emph{binary trees}\\xspace}
	\\newcommand{\\richards}{\\emph{Richards}\\xspace}
	\\newcommand{\\spectralnorm}{\\emph{spectralnorm}\\xspace}
	\\newcommand{\\nbody}{\\emph{n-body}\\xspace}
	\\newcommand{\\fasta}{\\emph{fasta}\\xspace}
	\\newcommand{\\fannkuch}{\\emph{fannkuch redux}\\xspace}
	\\newcommand{\\bencherthree}{Linux$_\\mathrm{4790K}$\\xspace}
	\\newcommand{\\bencherfive}{Linux$_\\mathrm{4790}$\\xspace}
	\\newcommand{\\benchersix}{OpenBSD$_\\mathrm{4790}$\\xspace}
	\\newcommand{\\bencherseven}{Linux$_\\mathrm{E3-1240v5}$\\xspace}