add features to mod_updateWMS.php

[arnulf]

• add Ajax-based search box above the top of the list to allow searching for WMS by name (and by ID, priority is lower for the ID)
• add Mapbender internal WMS-ID as tooltip or in brackets behind the name of the WMS to make it identifiable

Notice

• This ticket could spawn many more tickets adding search boxes to all administration interfaces to allowing to easier identify WMS (and WFS).

• This module breaks functionality provided by the Mapbender Metadata Editor. Currently the meta date that has been edited using the Mapbender Metadata editor are simply overwritten with whatever is contained in the Capabilities document. This is not a good idea. Please suggest an alternative.