Use user-friendly names for Extensions displayed by the Extension Manager/Repository applications

Using the new <xwiki.extension.name> property

The idea is that:

• doing a sync on e.x.o will not put back the technical name as the display name.
• users get to see friendly names