configure: Add --enable-extra-documentation arg

Issue #37.
configure: Move AC_PROG_CHECK for pdflatex into doc section

Issue #37.
configure: Only check for pdflatex is extra docs enabled

Issue #37.
configure: Use HAVE_PDFLATEX in printing summary

Issue #37.
configure: Don't build extra documentation by default

Issue #37.