This fixes redmine issue #8358 (#3 on github)

* spec tests: Data validity propagation
* update documentation links spec <-> tests

Co-authored-by: Dietrich Rothe <dietrich.rothe@desy.de>

Implement systematic tests for exception handling along specification.

This fixes redmin issues #8374, #8520 and #8364.

- testCircularDependencyFaultyFlags now uses modern AC without defining CS module and overriding defineConnections()

# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
#
# On branch master
# Your branch is up to date with 'origin/master'.
#
# Changes to be committed:
#	modified:   include/DeviceModule.h
#	modified:   src/DeviceModule.cc
#	modified:   tests/executables_src/testCircularDependencyFaultyFlags.cc
#
# Untracked files:
#	build-example-Desktop-Debug/
#	build-example2-Desktop-Debug/
#	build-example_status_monitor-Desktop-Debug/
#	demoBidirectionalVariables/
#	example2b/
#	include/ApplicationModule_BACKUP_1938963.h
#	include/ApplicationModule_BASE_1938963.h
#	include/ApplicationModule_LOCAL_1938963.h
#	include/ApplicationModule_REMOTE_1938963.h
#	message.txt
#	tests/testVirtualHierarchy.xlmap
#

The new order has the following advantages:
- values 0=OK and 1=Fault are compatible with frequent use of booleans like "is_error"
- values are matching ("accidentally") the DOOCS convention

Circular dependency detection: Outputs which are pogrammatically set to faulty are treated like external inputs.

After discussion with Martin K. we concluded that this monitor makes no sense. Legit cases should use the ExactMonitor
instead (if e.g. a boolean on/off configuration switch is to be observed). The monitoring of a Status value makes
no sense, since we would then have a monitor monitoring another monitor. In that case, the behaviour of the other
monitor should either be corrected, or the monitors should be aggregated with the right aggregator mode.

- introduce StatusOutput class
- rename ChimeraTK::States enum to ChimeraTK::StatusOutput::Status and make strongly-typed
- introduce reserved tags to detect StatusOutputs to be aggregated

* Not implemented yet. Currently always return false.
* Test exists and compiles, but is failing due to the missing implementation.