Tomofumi Yuki

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 ...