-towards fixing #3295 (core traffic prioritization)

git-svn-id: https://gnunet.org/svn/gnunet@32125 140774ce-b5e7-0310-ab8b-a85725594a96
-doxygen

git-svn-id: https://gnunet.org/svn/gnunet@32126 140774ce-b5e7-0310-ab8b-a85725594a96