sel4test: explicitly link sel4_autoconf

since the global conf lib is going be removed, we need to explicitly
linke each project with sel4_autoconf and other config libs
this commit also removed a bunch of unused includes as well as
HAVE_AUTOCONF ifdef checking.

Trivial: style fix

make the style checker happy

sel4test: remove autoconf.h from sel4test

this commit removes autoconf.h generation from sel4test and
append '#include <sel4test/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

Use seL4_TCB_SetTimeoutEndpoint

- remote timeout endpoint from api_tcb_set_space calls
- update helper for setting timeout endpoint

Changes for removal of seL4_CapData_t type in libsel4

This updates sel4test to not use what are now deprecated functions and types by following
the upgrade notes in the kernel CHANGES file.

SELFOUR-1083 refactoring related to renaming DEFINE_TEST_MAYBE to DEFINE_TEST

Explicitly check the instruction pointer softbreak test

This acts as a form of documentation-through-source as well.

On x86: the processor executes the INT3 instruction and then triggers the
trap after.

On ARM: the processor delivers the "bkpt" instruction as a fault and not a trap,
so the address of the BKPT instruction itself is delivered to the kernel. This is
consistent with what the ARM manual describes:

ARMv7 arch manual: C3.2:
"BKPT instruction debug events are synchronous. That is, the debug event acts like
an exception that cancels the BKPT instruction. ... A BKPT instruction debug event
generates a Prefetch Abort exception ..."

MCS: use tcb wrappers from sel4tutils/api.h

- replace calls of seL4_TCB_SetSpace with api_tcb_set_space
- replace calls of seL4_TCB_Configure with api_tcb_configure
- update some calls from seL4_TCB_Configure to api_tcb_set_space as a
full TCB configure is not required in that specific case

MCS: Use api_wait where possible

api_wait is the equivalent of a seL4_Recv on the master kernel,
and seL4_Wait on the mcs kernel. Use this whereever a reply object is
not required.

Provide and use wrappers for getting helper thread information

Reaching directly into the helper thread struct makes it difficult to change how helper threads
work without breaking lots of code.

Add env argument to helper_set_priority, mcp

- it will be needed in future when SELFOUR-1016 is merged
- merge it now to avoid the conflicts inherent on a long running branch

Fix licenses

SELFOUR-114: use new fault API

64-bit compatibility in breakpoints tests

Add tests for the seL4_TCB_* debug regs features.

Add tests to ascertain the working condition of setting, unsetting,
and retrieving information about, hardware breakpoints, using the kernel
APIs.

* Create arch include layer for sel4test-tests app.
* Move arch-specific defines into arch headers