ignore-value.h: remove unused _GL_ATTRIBUTE_DEPRECATED definition