check-sr-results: add meta data

Capture some meta-data about the run, such as tools versions, command line,
time, etc.
Append the meta-data to a few files we create.
Add a `--print-meta' command line option to print the meta-data.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>