Add -p option to enable profiling via gremlin.sh
Merge branch 'master' of https://github.com/tinkerpop/tinkerpop3