Update helping.rst

Spelling & punctuation corrections.
removed geoserver plugin, now part of geoserver-exts (https://github.com/boundlessgeo/geoserver-exts/)
Fix web.xml for standalone server.
Merge branch 'master' of github.com:boundlessgeo/GeoGit
Fixed an issue which caused a deprecated log function to prevent the new version from working.
Merge pull request #666 from jdgarrett/log-deprecation-fix

Fixed an issue with deprecated web log function.
Fix man page sections.

Also fix some mixed indentation.
DefaultProgressListener.maxProgress was uninitialized.

Caused an infinite sign to be printed because of a division by zero in SubProgressListener.
Merge remote-tracking branch 'origin/pr/667'
Open staging database readable in Pull operation

Otherwise any pull that requires a Merge cannot complete.
Merge remote-tracking branch 'origin/pr/651'
Make shp export honor the name of the attributes in the output schema

Before this change, exporting a feature with a geometry name other than
"the_geom" (the default used by the geotools for a shapefile) resulted
in an empty .shp file
Merge pull request #658 from groldan/remove_geoserver_plugin

Remove geoserver plugin, moved to geoserver-exts