asserts on seL4_Errors now use test_error_eq

changed test_asserts that check seL4_Errors
to use test_error_eq to output errors in failed cases
that would otherwise be suppressed in a
KernelInvocationReportErrorIPC build config

SELFOUR-161: Remove Remap and use Map instead

Update usages of Page_Remap to instead use Page_Map.

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'

Prevent warnings on conversion of pointer to integer

sel4test: Fix broken build for aarch64

* aarch64 doesn't have Sections and SuperSections; move test_pagetable_arm
that uses them intol AARCH32 block.
* Guard do_test_pagetable_tlbflush_on_vaddr_reuse with AARCH32
since aarch64 code doesn't use it.

SELFOUR-1130 Refactor tests to use new DEFINE_TEST

These changes turn tests on and off with the new `enabled` argument in
DEFINE_TEST instead of using #ifdefs.

SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST

tests: correct usage of macros

s/test_assert_fatal/test_assert: none of these tests should require the
test suite to abort in their current state as they are running in a
different process.

Fix cases where test_assert would return a value from a void function as
appropriate.

Fix whitespace

- remove trailing whitespace
- remove double blank lines
- remove blank lines at end of file

Fix licenses

aarch64: update related tests

SELFOUR-192: Fixup pagetable tests in the absence of recycle

SELFOUR-192: remove recycle, add cancelSends

Remove internal redefinition of PAGE_SIZE.

This is already provided in a more explicit manner by libutils.

Remove 'args' parameter to test cases.

This commit removes the state parameter to test cases, which was unused in all
tests. In three years, no test has required this parameter. I think it's time
to ditch this dead weight. It can be reintroduced if necessary later.

Note that this change is interdependent with changes to libsel4test.

bandaid to get sel4test to output the correct number of tests passing

VSpace API changes for ARM

Release snapshot