trivial: Change the name for serilserver examples

camkes-gen: own dir for capDL refinement theories

This places the generated Isabelle theories in a separate `cdl-refine`
directory, which (among other benefits) makes it easier for Bamboo
plans to locate the files.

cdl-refine-tests: fix for build system updates

cdl-refine-tests: add `testhardwareinterrupt`

The CAmkES apps repo has been changed to fix the issue that prevented
this app from being tested.

cdl-refine-tests: set ARM platform for some apps

This allows testing ARM apps that don't support the sabre platform.

cdl-refine-tests: `cakeml_tipc` now supported

Note that this depends on `global-endpoint` (in `global-components`)
to adjust the generated integrity spec appropriately.

cdl-refine-tests: apps with IRQs now supported

Note that `cakeml_tipc` is still not supported due to its non-trivial
usage of `global-endpoint.`

cdl-refine-tests: apps with groups now supported

This adds (most) ARM apps with groups or hardware components to the
test set. Note that hardware components now need an `integrity_label`
attribute to generate suitable verification conditions.

cdl-refine-tests: better error reporting

The test script now counts camkes build system failures separately
from proof failures. It also exits with 1 if not all tests succeeded.

cdl-refine-tests: drop cakeml_regex

The cakeml_regex build system doesn't support taking CAKEMLDIR through
an environment variable. Probably a bug in the build system, so we
ignore this app for now.

cdl-refine-tests: only test one set of build options

Testing 2^4 configurations for every app has not been an efficient way
to find problems. This commit reduces the number to one.

cdl-refine-tests: augment testsuite

The toolchain now supports some nonstandard connector types.

cdl-refine-tests: augment testsuite

The toolchain now supports apps with hierarchical component names.

cdl-refine-tests: add most apps to testsuite

Each app not supported by the refinement toolchain is commented out,
with a brief explanation about the problem.

cdl-refine-tests: enable static alloc option, as it is now required

cdl-refine-tests: Remove dead Jinja2 code

templates: rename ROOT to root.thy for consistency

Also remove custom ROOT generation from the test runner.

cdl-refine-tests: print partial report on user interrupt

cdl-refine-tests: update comment

cdl-refine-tests: refactor path handling more

cdl-refine-tests: clean up path handling; more comments

cdl-refine-tests: more detailed summary of test results

cdl-refine-tests: add more apps to be tested

Isabelle template for capDL refinement verification

AKA the new label-mapping template. Still needs cleanup and testing.

cdl-refine-tests: update paths for current repo directory structure

add temporary test suite for CapDL refinement proofs

Currently not attached to the main test runner. See the README.md for
more information on how to run it.

Resolves VER-987.