Fix licenses for DATA61 files
refactor Kconfigs to fix library menu display: library configs will no longer be swallowed by previous libraries
Port muslc to seL4 build system and environment. Defines custom 'seL4' architectures for ARM and i386