documentation; add GPL header to patchelf.cc