tool: abstract functions in Microkit Tool for use as a library#455

sfulham wants to merge 1 commit intoseL4:mainseL4/microkit:mainfrom

sfulham:mainsfulham/microkit:mainCopy head branch name to clipboard