add full text of all licenses These are the texts of all licenses mentioned anywhere in the seL4 repository.