[seL4] Building/Running https://github.com/SEL4PROJ/docs with docker