Add a note about autoconf 2.13.

Many people seem to have this question.