renaming options + adding glpk verbose option


git-svn-id: https://gnunet.org/svn/gnunet@32062 140774ce-b5e7-0310-ab8b-a85725594a96
renaming options and status variables


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