fixed typos in header-gen.pl reported by Fabian Gruber
added handling of integer data type (gives compile time error for most benchmarks)
fixed inconsistency in polybench.tex about Seid...
date in the deploy.pl
updated the kernel descriptins in README
fixed a typo in the definition of 3mm in the pdf
updated the version number in pdf to 4.2
fixed run-all to print to stdout if outfile is ...