pragma once and for all

sel4vspace: Add function to calculate page bits

When given a size of memory, calculates the largest page size to use
when creating it from seL4 page objects

Fix licenses

libsel4utils: Correct check for contiguous page sizes

The intention of the original code was clearly to not check the first
(hence the i > 0 comparison) but then check every subsequent size is
strictly increasing. Instead we skipped the first check and then
compared against the following size, resulting in us never actually
checking if the first page is in order, as well as indexing out
of the array.

Rationalise dependencies.

This commit removes the dependency of libsel4platsupport on
libsel4utils, as libsel4utils is our top level library and should be
able to use the device drivers that libsel4platsupport provides.

The functionality that libsel4platsupport depended on from libsel4utils
has been moved to libsel4simple, as libsel4simple is basically an
extension of libsel4.