Generate the CoconutKit.h header