pragma once and for all

Fix licenses

libsel4allocman: Add missing stdlib.h includes for using size_t

libsel4allocman: Make allocman 64-bit friendly

When compiling for 32-bit there may be spurious warnings due to
some interface type changes. These will eventually be fixed when
other libraries are made 64-bit compatible