Extend tool to produce latex table.

* using the option -t, also the timing information is printed
* using the option -p, the relative sizes and reductions compared to original are
  printed whenever possible.