He could also keep it GPL3 and make license exemptions that remove ambiguities about the generated code like SWIG does

http://www.swig.org/legal.html