Added stuff that doesn't work but I don't want to get rid of yet.
Integrated building of seL4 kernel and libs
Project restructure
Change entry from lib to bin
Dummy more stack for the time being
Dummy compiler-rt
Combine kernel and init images