Added simple Store sorter for Server URLs and the possibility to type initial server name and autocompletion
Merge branch '1.5.x' of https://github.com/geosdi/geo-platform into 1.5.x