Restore contribution info in ChangeLog for authors not listed in git log
(deleted in commit 36a9c66)

* ChangeLog (7.0, 1.0): Add information about contribution of persons
mentioned in AUTHORS but not recorded in git log.
* src/atomic_ops/sysdeps/gcc/cris.h: Move contribution information
from comment to ChangeLog.