Update build docs that refer to old makefile.* files.

Also update pull-tester's error message.
Merge pull request #3231 from brandondahler/doc-autotool-update

Update build docs that refer to old makefile.* files.