Question about tracking files, and Doxygen updates.

Hello again,

I've put a .gitignore in doc/doxygen on my local dev/willow/doxygen, so 
the Doxygen output (along with other autogenerated files) doesn't get 
tangled up in the git history. Should .gitignore include gnunet.tag too?

I've got a good workflow for stripping redundant doc comments in Neovim. 
I've already put a dent in the number of warnings doxygen spits out in 
the day or two since I cracked it. There are notes on that workflow in 
contrib/warningfilter.py on my local branch.

I also hacked Makefile.am and the doxyfile to automate updating 
PROJECT_NUMBER, so you can look forward to that too once I've tidied up
the branch. It's a bit inelegant but it gets the job done.

Best wishes,
	Willow