This option can be used to help debug the --batch option, when
re-running failed tests does not work properly.

This commit also gets rid of some duplicated documentation to prevent it
from getting outdated (it already was a bit outdated since it was not
listing all options available).