Provide a link to the seL4 code of conduct Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>