Copyright and license for the clog2.3 manual page

Copyright for clog2.3:

Copyright 2002 Walter Harms (walter.harms@informatik.uni-oldenburg.de)

License for clog2.3:

Distributed under GPL