Trivial: Style fix

make the style checker happy

seL4_libs: remove autoconf.h from seL4_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/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'

Changes for removal of seL4_CapData_t type in libsel4

This updates seL4_libs to not use what are now deprecated functions and types by using
the new API wrappers

pragma once and for all

sel4utils: only free owned_ep on process destroy

Avoid freeing provided endpoints.

Support reply objects in seL4_libs

Only if CONFIG_KERNEL_RT is enabled will they work, but most of
the code is compiled in order to make maintenance easier.

Add scheduling context support in seL4_libs

Only works if CONFIG_KERNEL_RT is enabled, however most of the code
is compiled no mater what to lighten the maintenance burden

libsel4utils: Pass TCB cptr of new process in environment variable

If a cptr for the new processes TCB (in its cspace) is known, then this will pass
it as an environment variable to the newly created process. This provides a generic
way for a new process to invoke and modify its own TCB

libsel4utils: Provide ELF program headers to new processes

Add timer_objects helper functions

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

sel4utils: refactor process and thread config interface

- add builder patterns for thread and process configs which reduces api
breakage when new features are added
- replace all usages of configs with builders
- don't set priorities in default functions (threads will be set to 0)
- set MCP in threads and processes when specified

sel4utils: update init_cap to match simple interface

Fix licenses

Remove #ifdef guards for the existance of different libraries

These libraries are now all part of this same repository, and so they will always exist.
Guarding for them adds unnecessary complexity

Add sel4utils_copy_cap_to_process

Helper function for copying a cap into a target process' cspace when you
have a seL4_CPtr and a vka. Renames function that previously has this
name to sel4utils_copy_path_to_process.

libsel4utils: Don't free slot if from_vka is NULL

In sel4utils_move_cap_to_process, if from_vka is NULL, don't attempt to
free the original slot.

libsel4utils: passing default page size as aux vector

SELFOUR-567: use seL4_CapRights_t

sel4utils: add process_init_cap

This can be used in a sel4simple implementation for processes created
by sel4utils.

Remove all references to KERNEL_STABLE

libsel4utils: Mark some strings as const.

sel4utils: put tcb cap in new process cspace

sel4utils: add sel4utils_move_cap_to_process

sel4utils: add asidpool cap to initial proc cspace

sel4utils: add page dir cap to process cspace

sel4utils: make null slot explicit in cspace enum