config parameter rename

git-svn-id: https://gnunet.org/svn/gnunet@31863 140774ce-b5e7-0310-ab8b-a85725594a96
made replacing traces available

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

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