Have DDLogMessageOptions use NSInteger instead of Int.
Add the copyright headers.