Improve docs on running regression tests#3212

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

owen-mc-diffblue:doc/running-regression-testsowen-mc-diffblue/cbmc:doc/running-regression-testsCopy head branch name to clipboard