CHANGELOG for Contributing Books to ACL2