add mysql copyright info