Updated COPYING and doc/gpl.texi to GPL v3
adjusted dectioning etc in documentation for new gpl.texi
This form allows you to request diffs between any two revisions of
a file. You may select a symbolic revision name using the selection
box or you may type in a numeric name using the type-in text box.