Update docs with respect to naming change on tinkerpop.server plugin.