Add a license header in the generated files.

This closes issue #117.