camkes: Add uint64_t and int64_t types to language

The CAmkES language was missing support for larger data types. This
commit introduces two new data types to that is intended to fill that
gap.

ast: Clarify type mismatch error message

The previous message was a bit hard to understand.

ast,runner: Remove template field from connector

This allows us to more easily extend the mechanisms for constructing
components and connectors.

trivial: Style unstyled files

templates: arch-definitions: omit exported interfaces from model

The parser already resolves exports in `stage7`, but the export
declarations are left untouched in the `Component`s. This commit
detects and removes them to avoid dangling interfaces in the
Isabelle model.

Style: Style of dtbmatchquery.py and objects.py

Updated style of testdtbmatchquery.py and objects.py

AST: Updated ast_property checks on QueryObject

Updated the QueryObject ast property checks to account for the
interface now taking a list of dictionaries. Also updated the
property names to match the object field names
(these weren't being checked prior).

ast: Allow names of objects to be None

This is similar to previous behavior as some ASTObject subtypes such as
Composition or Assembly can be defined without a name. We require that
the name attribute still exists in this situation and so not defining it
if name was None was incorrect.

ast: DictLookup.lookup is a list

Previously this was incorrectly typed as a string type, but a lookup
could be a chain of key types.

ast: Use ast_property decorator to reduce code dup

ast: add ast_property decorator

Creates getter and setters for an AST property. Should lead to less code
duplication

camkes/ast: Emit warning for extra struct fields

Updated the case when there are extra attributes in the struct
field. This now emits a warning rather than an error.

camkes/ast: emit warning not error on extra struct fields

camkes/parser: add query to camkes ADL

This commit adds a new feature called a query. A query appears in the
ADL on the RHS of a setting in the configuration section of the ADL, eg:

configuration {
component.blah = query()
}

queries takes comma separated parameters that can be any literal (numeric_expr |
multi_string | list | dict).

Queries are parsed in a new parsing stage between stage7 and stage8.

parser: allow for dict lookups in attribute references

This commit adds the ability to look up values in attribute references
that are dictionaries.

The syntax is the same as python dict lookups and is as follows:

s.bah <- y.attribute['key']['anotherkey']

ast: ASTError formatting fix

Updated the formatting of an ASTError in the Connector class.
This assumed each class had a name attribute to print for the
error message. Now checks if the attribute exits.

ast: Fixed ASTError formatting in Connector class

Updated the formatting of an ASTError in the Connector class.
Prior to the change a python error/exception would occur as it
tried to format a list of type objects into the error string. Now
accesses the string name of each type object.

ast: Flexible type checking on connectors

Updated the Camkes connector to check on the optional attribute
'disable_interface_type_checking'.
Adding 'disable_interface_type_checking' to your
connector definition relaxes the type checking of the connector,
allowing multiple interface types over the one connection. Updated
the camkes ast representation of a connector to enable the
the checking of the attribute.

ast & parser: Connectors now have attributes

Extended the defintion of a connector with optional
attributes. The AST object implementation and parser
implementation were modified to allow the passing of connector
attributes.

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remote blank lines at end of file

parser: Allow struct elements to have defaults

If a CAmkES struct is declared with some default attribute values,
the struct elements with default values do not need to be included
upon asignment.

Change `generator.next()` to `next(generator)`

The `next` method of generators has been renamed to `__next__` in
python3. The recommended way to get the next element of an iterator is
to use the `next` builtin function.

ast: fix freezing hierarchical connections

When an instance name is omitted from a connection end, but the
composition is contained in a component, then the type for the instance
is the component that contains the composition

parser: Reimplement stage 8 parser

Stage 8 parser is supposed to handle dereferencing of attributes,
but this was actually getting incorrectly done as a side effect of
stage 7 parser

Fix licenses

CAMKES-584: Add Struct type to camkes

Struct type represents a collection of attributes. Attributes are set by
providing a dictionary of fields and values

CAMKES-584: Add array support for Attributes

This makes it possible to define an attribute as a list of a type.
Assigning values to an attribute can be achieved by using the
`[3,4,5,6]` syntax.

ast: types_compatible return error messages

Better error messages when attribute types don't check

ast: move types_compatible function into objects

This is needed to avoid circular dependency when extending
types_compatible to do more rigorous type checking

Added instance getter method to Instance

This method just returns self. It exists so instances and connection
ends can both be queried for their associated instance. This simplifies
the logic of specifying kept symbols, as they are stored against the
name of the instance associated with the currently running template.

CAMKES-560: Add support for new-rt APIs to next

Replace instances of seL4_Recv, seL4_SignalRecv, seL4_Send, with
RT-compliant versions that operate on reply object caps.

Settings dict for Configuration AST objects

This adds a lookup table of Setting AST objects in Configuration AST
objects. The use case this addresses is allowing templates to report
Settings objects as the source of errors.

JIRA: CAMKES-551

Added binary_semaphore primitive

Implemented __str__ for some AST objcets

Include connector type in invalid n-1 conn error

Catch attributes with C keyword names.

This commit cherry-picks c2dde22c6dd3da239fe06818755fb5844c8c3caa from
ssh://github.inside.nicta.com.au/mfernandez/project.

Account for attribute default values during freezing.

We should be good to go now.

This commit cherry-picks 72fc9ccb8094fd1dc7b124af27d0305338e44520 from
ssh://github.inside.nicta.com.au/mfernandez/project.

JIRA CAMKES-409

Add a 'default' field to Attributes. Unused yet.

This commit cherry-picks 2b4907aa9a38772de265c0412dcd6f4b86f0b6d0 from
ssh://github.inside.nicta.com.au/mfernandez/project.

JIRA CAMKES-409.

Refactored parser init commit.