Geoserver 2.5.2

Updates geoserver from 2.5 to 2.5.2
geoserver: add 2.5.2 bottle.