binlog.c/binlog.h: added GPL headers