libsel4: fix licenses

- some were incorrectly marked GPL (libsel4 is BSD)
- update NICTA --> DATA61 etc
- fix tags D61 --> DATA61
- update year to 2017

aarch64: Add aarch64 libsel4 implementation

Benchmark: ARM - Fix typos in syscalls.h

libsel4: Optional public symbols for external interfaces

CONFIG_LIB_SEL4_PUBLIC_SYMBOLS=y will disable inlining for external
interfaces (except deprecated functions), thereby providing public
symbols for easy linkage with other languages.

add seL4_BenchmarkFlushCaches() for arm and ia32

Available when CONFIG_ENABLE_BENCHMARKS is set, flushes caches for
running cold-cache benchmarks

Also let aarch32 seL4_RecvWithMRs/ReplyRecvWithMRs

Let aarch32 CallWithMRs

* Initialise the message variables (as per ia32 and x86_64)
* `libsel4` now builds when `syscall_stub_gen.py` is run without `--buffer`
* While simple things appear to work, `sel4test` with aarch32 in qemu is *not* happy:

```
Bootstrapping kernel

Warning: using printf before serial is set up. This only works as your
printf is backed by seL4_Debug_PutChar()
sel4utils_create_object_at_level@mapping.h:22 Should not be called
Ignoring call to sys_rt_sigprocmask
Ignoring call to sys_gettid
sys_tkill assuming self kill
```

arm/libsel4: Correct seL4_DebugRun

In a3e60fd025d23a6 seL4_DebugRun was refactored incorrectly. This
commit corrects the name and arguments of its function call

[STYLE_FIX]

arm/libsel4: Refactor syscall functions

Refactors syscalls to use common base functions for assembly stubs.
As a result of this refactor the problem of low optimization levels
breaking the syscall stubs is also resolved.

SELFOUR-603 - Benchmark: Add null syscall

Benchmark: Implement per-thread reset syscall

SELFOUR-518: Benchmark - User-level log buffer, delete dump and size system calls

Given that the log buffer is now
(79291252a8cf7bf88a6597a96e25313d56e9c7a5) in user-level, the kernel doesn't have
to dump and send the size for users. Users have to take care of this.

SELFOUR-518: User-level log buffer

Remove global ksLog and use KS_LOG_PPTR instead

Benchmark - Log buffer: use global page table

Fixed clobbered register in Signal syscall stub

SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING

SELFOUR-436: libsel4 s/__SWINUM/__SEL4_SWINUM

Namespace the definition and do not #undef.

SELFOUR-448 Benchmark: Track thread's CPU utilisation time

SELFOUR-446 Unify code base for trace points and track feature

SELFOUR-446 Benchmark: Track interrupts and user/vm faults

SELFOUR-446 Benchmark: Track syscall feature

Benchmark feature that currently:
- Keeps track of system calls info
- Start time
- Duration
- Capability type
- Invocation tag
- Log the number of invocations of each system call*
- Log the number of invocations for each capability type per syscall.
- Has 3 new syscalls (dump, reset, get size).
- This new feature uses the existing log buffer (which is 1MiB for x86
and ARM). Since the number of syscall invocations is not
deterministic, the logged number of invocations is limited by the size
of the buffer. I suggested to enable the users to pass their own
user-level buffer, to enable more flexibility, later.
- ENABLE_BENCHMARKS is now a parent config option of trace points and
system call track features, they can't be used at the same time.

libsel4: arm: Reintroduce -O0 warning

Correct separation of printing and debug builds

Fixes some build issues with 541289a32603cee8242b5360b05e8f0c52795433
as well as further allowing debugging (via the capdl interface) to
happen when printing is turned off.

Modify Kconfig and Makefile for aach32 as sel4_arch
libsel4: updates to include aarch32 as sel4_arch