Implementation of configurable project labels

I intend to make project labels, as displayed in the Project Explorer, Navigator or Package Explorer views user-configurable.

At this point, the format and the information displayed is imposed upon the user. After the implementation of #501 (closed) yesterday, I realize that it would be useful to be able to see the logical name of the repository that each project is currently targeting. It would give a second use to the logical name.