Fix licenses

Add multicore attribute, "affinity"

Defaults to CPU index 0. No RT support in CapDL-loader yet,
just non-RT.

Added binary_semaphore primitive

Replaced aep_pool with notification_pool

Breaking change that replaces the aep_pool configuration setting with
notification_pool.

Support for boolean literals in specs.

Refactored parser init commit.

Replaced AsyncEndpoint with Notification. Applied "s/AsyncEndpoint/Notification/g" and "s/aep/notification/g" to each file.

Fix: Rename control TCB to avoid symbol collisions.

**BREAKING CHANGE**

This commit renames the control TCB from "tcb__control" to "tcb_0_control". The
purpose is to avoid unintentional symbol collisions with TCBs belonging to
interfaces named "_control". As part of the same disambiguation process, any
attributes that were of the form "_control_<property>" are now "_<property>".
Because an interface cannot have the empty string as a name, this avoids
collisions.

This is marked as a breaking change because users who adjust attributes of the
control thread (priority, stack size, domain, etc.) will need to change the
attribute they are setting. It is possible to set both the new and the old
attribute in order to smooth the transition across this changeset.

Implement an attribute for component-wide priority.

Closes JIRA CAMKES-354

vim syntax: Recognise numeric literals.

Implement per-thread stack configuration.

Closes JIRA CAMKES-164

Add cnode_size_bits attribute for overriding CNode size.

No ordinary user should need this feature, but more unorthodox components that
need to do dynamic cap operations sometimes need an enlarged CSpace.

Implement 'refin' as a new parameter direction.

This commit implements a new direction for RPC parameters, 'refin.' In
everything except the C backend, this direction is identical to 'in.' In the C
backend this generates a user function prototype that passes this parameter by
pointer instead of by value. The primary use case of this is for interfaces
involving C types that are typedefed structs. The cost of a function call
involving such types can be decreased by passing the parameter by pointer. In
generaly this should only be used as an optimisation and 'in' should remain the
default direction for input parameters.

seL4RPCCall: Only elide asm clobbers when explicitly trusting components.

This commit introduces an extra degree of safety, wherein users are required to
explicitly use an attribute to declare component instances 'trusted = "true"'
if they want to elide all clobbers in the specialised asm stub. If the partner
you are communicating with is not trusted it is not safe to elide these
clobbers as they can overflow the message length you wre expecting and cause
unexpected behaviour. To my knowledge no one had hit issues like this or were
using this specialisation in the presence of untrusted components, but this is
an added safety measure.

In future it would be possible to introduce more broader stub optimisations to
use seL4_CallWithMRs when we can detect (at generation time) that there is a
payload, but it is short enough to fit in the message registers.

vim syntax: Add 'untyped_mmio' as a keyword.

misc: Add missing C type syntax for vim.

misc/vim syntax: Correct recogniser for CPP directives.

misc/vim syntax: Add missing keywords used in 'connector' definitions.

Conflicts:
misc/camkes.vim

Remove deprecated type 'smallstring'.

This type has long been superceded by the type 'string'. I believe the naming
of this type originally was only to avoid a hardcoded 'string' type in the
CORBA IDL parser. This is no longer an issue and 'string' is fully supported.

Release snapshot