doc/contribute.texi: document the new github mirror at https://github.com/peti/autoconf-archive
travis.yml: install tidy