Add options for panel menu's ancillary items

Introduce new options to let the user decide whether the extension should display some informations, if available, or not.
NOTE: previous users will need to recompile the schema
Update manual (text only)

Add references to the ancillary informations' new preferences.
Add a note in 'Installation' for users upgrading from previous versions of the extension.