Copyright housekeeping

- Include the correct GPL version in copyright and licensing statements, clean-up the copyright file.
- Fix some documentation errors found while doing the clean-up.