feat(tools/cbmc): add option to test a single testbench

This feature becomes useful when working on a single testbench. There is
no need to wait for the other testbenches to finish analysis.

Change-Id: I277b37ef796c66c26c03c4b3ca2cd29c705cfc88
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
5 files changed