Add license (GPL, consistent with our .el code)

Closes #1063