configure.ac: Build extra documentation by default

The only reason we weren't doing this was because of the uggly output of
pdflatex, which has now been shaved.