remark about INT_ADD_OVERFLOW

[Bruno Haible]

It might be worth mentioning in the comments in intprops.h that for
  short a, b;

INT_ADD_OVERFLOW (a, b) tests whether the C expression
  (a + b)
overflows; it does *not* test whether the assignment
  short sum = a + b;
overflows.

Bruno