menu options: display number of requests, sorting

Two options have been added.
menu.info.showNumRequests -- default: true
menu.sorting -- default: numRequests

Firstly, support for the number of requests per destination. There is an option to show/hide this information in the menu.

Secondly, there are several options for sorting of the destination-lists.
It's possible to sort by…
(1) …the number of requests (highest number first)
(2) …the destination domain name (alphabetically)
(3) …no sorting at all (like in version 0.5.* until now)

The options can be found in the advanced options.