replaced hardcoded geoserver version number.

Docs not depending on version number (this pullrequest). (Alternative: fix hardcoded version number)