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'

sel4utils: use seL4_UserTop

This commit removes hard coded KERNEL_RESERVED_START values (which is
mean to represent the last page mappable by user-level) and calculates
the value from seL4_UserTop instead, such that if seL4_UserTop changes
at any point the vspace code will still work.

pragma once and for all

Fix licenses

libsel4utils: Rewrite vspace for 64bit support

This involves a nearly full rewrite of the internals of the vspace
implementation. The core reason for the rewrite was to go from a
fixed two level book keeping structure, to a multi level book
keeping structure.