check-sr-results.py: add an option to force re-generation

Add a `--force-regen' command line option to force re-generating all the
files we can.

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