camkes: initial updates for new CDL refinement framework

Summary of changes:
- change ADL spec to support connectors with many endpoints [VER-992]
- more connector synonyms
- refactor integrity policy spec

Isabelle2016-1: syntax: use semantic markup instead of "header"

camkes: Update architectural model.

This brings the architectural model in line with the current implementation by
making the following adjustments:
- Remove "trait" terminology and replace with "procedure." This was already
done in the datatypes, but had not been updated in the accompanying text.
- Remove both fixed size and NULL-terminated arrays and replace with the more
recent arbitrary sized arrays. Neither of the former are supported, but can
now be emulated if necessary.
- Remove references to `RPCEvent` and `DirectCall` connectors. `RPCEvent` no
longer exists and `DirectCall`, while still present, introduces complexities
that are not adequately explained in the context of this document.
- Remove legacy comments.
- Various typo fixes.

Import release snapshot.