Gremlin: use another manifest name for version

In Gremlin.java, the gremlin version is read from a version attribute:

version = Manifests.read("version");

This name is too general and can be overridden accidentally, see https://github.com/JanusGraph/janusgraph/discussions/3004

I propose we use a more specific name, such as "tinkerpopVersion".