includeos/builder repository overview

Used for building IncludeOS images. Based on dockerfile in the offical IncludeOS repository, where --target=build. https://github.com/hioa-cs/includeos/tree/dev⁠