i#5261 remove -intercept_all_signals: Remove option

[xdje42]

-intercept_all_signals is the default. We always want to intercept all signals. -no_intercept_all_signals requires extra code to support, and the support is problematic, eg, is racy. Since we don't use -no_intercept_all_signals any more, remove the option.

Fixes #5261