Added missing license headers to syzomatic and syzln.