Include docs under GPLv2.

Fixes #2470.  The docs were previously under an unspecified
free-with-copyright clause, which appears to allow such relicensing.
Anyway, Warner is OK with the change.