geoserver: provide several useful geoserver extensions - closes #4217