mcs: add api method for SC consumed

This adds an API method for calling the seL4_SchedContext_Consumed
operation regardless of whether the CONFIG_KERNEL_MCS is set.

mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS

This is to be consistent with the name defined in the kernel.

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'

trivial: style changed file

sel4utils: avoid binding null sched contexts (mcs)

Some threads in sel4bench are passive (i.e the fault handling thread)
and would previously invoke a null cap when api_tcb_configure was used
with the RT kernel.

Added UNUSED attribute to the last two arguments of api_tcb_set_sched_params (they are used only for KERNEL_RT and give warnings of unused variable otherwise)

Provide ep to seL4_TCB_SetSchedParams for RT

Simulate seL4_TCB_Configure behaviour on master for RT

Remove timeout_ep from set space

The RT API has changed and timeout_ep is now set with its own function

SELFOUR-1016: Add api_tcb_set_sched_params helper

SELFOUR-1016: update for TCB API change

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

sel4utils: Expand API wrapping helpers

Changes 'api.h' to be more general in the kinds of API helpers it can contain, and moves the
existing MCS specific helpers to their own file.