Include the actual GPL

Important. Details are in the commit message.