First steps toward fixing the license text.

Also add to .gitignore.