Use GPL version 3.
Fixed some docstrings after having run `checkdoc'.