Update git ignorance.

Git ignore doxygen debris.
Be more specific about our git ignorance.
Generally refresh the list.
include otherwise-ignored stuff from git repo in "make dist"
do not include generated man pages in distribution (because conditional!)
enable doxygen PDF documentation by default
avoid repeatedly rerunning doxygen