Here's another patch for GNUNet's scheduler. It's a smaller version of my last
patch.

This patch extends the scheduler API with two new functions:
  GNUNET_SCHEDULER_add_file_with_priority
  GNUNET_SCHEDULER_add_net_with_priority

It also re-writes the other net_add/file_add functions to make them call these
more generic functions in order to avoid code duplication.

 - Andrew



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