Add support for split program images#164

Ivan-Velickovic merged 5 commits intoseL4:mainseL4/microkit:mainfrom

nspin:pr/split-program-imagenspin/microkit:pr/split-program-imageCopy head branch name to clipboard