Merge branch 'develop' into feature-ifaces
Merge branch 'develop' into feature-ifaces
Added unit tests with branch prediction switched off.

These tests ensure that the kvc_verify() and kvc_vdate() interface
functions work properly even when branch prediction semantics are not
available. This would typically occur when compilers other than GCC are
used.
Merge branch 'topic-testing' into develop
Removed cyclomatic complexity analysis from build.

In retrospect, complexity analysis does not seem very relevant for this
Library, and so has been removed from the build process.
Improved presentation of the build process.

Several small tweaks were made to the Makefile in order to improve the
display and logging of the build process.
Optimised assertion interface macros.

The implementation of branch prediction semantics on kvc_verify() and
kvc_vdate() have been improved by replacing the generic kvc_unlikely()
macro with the specific __kvc_assert() macro. Doing so allows us to
bypass the double negation operation on the check expression.
Merge branch 'topic-testing' into develop
Merge branch 'develop' into feature-ifaces
Merge branch 'feature-ifaces' into develop
Merge branch 'develop' into topic-testing
Tidied up header and footer comments.
Merge branch 'develop' into topic-testing