[DISCUSS] Remove docs from zip distributions

[Stephen Mallette]

As I was working through the release, I noticed that the bulk of our 170Mb
(which zips to 80Mb) of Gremlin Server zip distribution 50Mb is the docs
and 94Mb is the javadoc. We have revisited this question in a while so I
pose it here - is there value to including one or both of those or should
we remove them to lighten the load?